An Equivalence Relation for the Typed Ambient Calculus
スポンサーリンク
概要
- 論文の詳細を見る
The ambient calculus is a process algebra designed for describing mobile processes. It has a layered structure of ambients that enables us to describe not only mobile processes but also the world in which the processes move around such as computer networks and freight systems. When we describe such a system with ambients, however, malicious processes can destroy nodes of the network or alter the construction of the system. Thus, several mobility types for the ambient calculus have been proposed to enable us to give each node desirable characteristics that prevent malicious processes from acting harmfully. Gordon and Cardelli, the originators of the ambient calculus, also defined an equivalence relation for the untyped ambient calculus. Our previous work pointed out that there exist identified processes up to the relation that have different properties, and it refined the relation so that we can discriminate those processes. This paper shows that the original relation and our previous relation are no longer available for the typed ambient calculus and it presents another relation that is suitable.
- 一般社団法人情報処理学会の論文
- 2007-06-15
著者
関連論文
- 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