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
- Physical condition of preterm infants with periventricular leukomalacia
- Evolutional Changes and Outcome of West Syndrome: Correlation with Magnetic Resonance Imaging Findings
- Studden unexpected cardiopulmonary arrest associated with influenza infection
- Callosal lesions and delirious behavior during febrile illness
- Serum levels of cytokines and EEG findings in children with influenza associated with mild neurological complications
- Mild oliguria in preterm infants who later developed periventricular leukomalacia
- Efficacy and adverse effects of rectal thiamylal with oral triclofos for children undergoing magnetic resonance imaging
- Comparison of two low dose ACTH therapies for West syndrome:their efficacy and side effect
- A pilot study on lidocaine tape therapy for convulsions with mild gastroenteritis
- Hypoxic ischemic encephalopathy associated with neonatal seizures without other neurological abnormalities
- Combination of neonatal electroencephalography and ultrasonography : sensitive means of early diagnosis of periventricular leukomalacia
- A pilot study on umbilical venous level of natriuretic peptides in preterm infants and their relation to periventricular leukomalacia and antenatal complications
- Two patients with trisomy 9 mosaicism
- Epilepsy in patients with spastic cerebral palsy : correlation with MRI findings at 5 years of age
- Hypoperfusion of brain single photon emission computerized tomography in patients with antiphospholipid antibodies
- Dysmature EEG pattern in EEGs of preterm infants with cognitive impairment:maturation arrest caused by prolonged mild CNS depression
- Non-epileptic pedaling-like movement induced by triclofos
- PE-251 In-vivo Generation of 8-isoprostaglandin F2α After Exposure to Environmental Tobacco Smoke And Endothelial Dysfunction in Healthy Volunteers(Smoking 1 (H) : PE43)(Poster Session (English))
- FACTORS ASSOCIATED WITH THE FLOWER INDUCTION IN LETTUCE
- PHYSIOLOGICAL FACTORS ASSOCIATED WITH THE SHOOT GROWTH OF APPLE TREES
- PHYSIOLOGICAL STUDIES ON THE PROMOTIVE EFFECT OF GIBBERELLIN ON THE GROWTH OF CELERY PLANT
- PHYSIOLOGICAL FACTORS IN THE TUBEROUS ROOT FORMATION OF THE SWEET POTATO PLANT
- An Equivalence Relation for the Typed Ambient Calculus
- Antihypertensive treatment using an angiotensin receptor blocker and a thiazide diuretic improves patients' quality of life : The Saga Challenge Antihypertensive Study (S-CATS)
- THE PHYSIOLOGICAL FOUNDATION OF THE TUBER FORMATION OF POTATO
- Acute encephalopathy with 2009 pandemic flu : Comparison with seasonal flu
- An Equational Relation for Typed Ambient Calculus
- Low-temperature electrical resistivity of single crystalline uranium monocarbide(UC).
- An Equational Relation for Ambient Calculus(Theory of Programs)
- An Equivalence Relation for the Typed Ambient Calculus
- An Equational Relation for Ambient Calculus