An Equational Relation for Ambient Calculus(Theory of Programs)
スポンサーリンク
概要
- 論文の詳細を見る
Ambient calculus is a process algebra developed for describing mobile processes. Ambients represent the substances of movement and the fields of the ambients themselves. Having this hierarchy, it can model various kinds of mobile computation. Equational relation for ambient calculus "Contextual Equivalence" were proposed regarding the names of ambients observed from the environment. This relation is, however, not strong as "testing equivalence" so that it can identify the processes which have different properties. This paper proposes equational relations for ambient calculus by which we can distinguish processes that the existing equivalence identifies.
- 一般社団法人情報処理学会の論文
- 2005-12-15
著者
-
Kato Toru
Department Of Informatics Kinki University
-
Kato Toru
Department Of Agronomy Faculty Of Agriculture Tohoku University
関連論文
- PE-273 Effects of Corticosteroid Therapy on Cardiac Sarcoidosis with Ventricular Tachycardia(Cardiomyopathy, Clinical 2 (M) : PE47)(Poster Session (English))
- PE-391 Low-Density Lipoprotein Subfraction as a New Risk Factor for Silent Laucnar Infarction in Patients with Essential Hypertension(Cerebrovascular circulation/Stroke-2, The 71st Annual Scientific Meeting of the Japanese Circulation Society)
- OJ-202 Effects of Acarbose and Nateglinide on Postprandial Hyperglycemia-Induced Endothelial Dysfunction : A Placebo Controlled Study(Diabetes/Obesity/Metabolic syndrome-04, The 71st Annual Scientific Meeting of the Japanese Circulation Society)
- OE-337 The Mild Intensity Exercise Therapy Reduces Postprandial Glucose and Triglyceride Levels Even after Normal Fat Meal in Obese Subjects(Exercise test/Cardiac rehabilitation-1, The 71st Annual Scientific Meeting of the Japanese Circulation Society)
- Low-Density Lipoprotein Subfractions and the Prevalence of Silent Lacunar Infarction in Subjects with Essential Hypertension
- PJ-009 Electrophysiological Characteristics of Residual Conductive Gap at Potential Target Sites During Catheter Ablation of Isthmus-Dependent Atrial Flutter(Arrhythmia, Diagnosis/Pathophysiology/EPS 4 (A): PJ2)(Poster Session (Japanese))
- Ictal electroencephalographic findings of neonatal seizures in preterm infants
- Antiepileptic treatment against clustered seizures in benign partial epilepsy in infancy
- Amplitude spectral analysis of maturational changes of delta waves in preterm infants
- Cerebral hemodynamics during early neonatal period in preterm infants with periventricular leukomalacia