A Formal System for Specification Analysis of Concurrent Programs
スポンサーリンク
概要
著者
-
TAKAHASHI MAKOTO
Department of Food Science and Technology, Kyoto University
-
Hirose Ken
Department Of Mathematics School Of Science And Engineering Waseda University
関連論文
- Ammonia Assimilation by Glutamine Synthetase/Glutamate Syhthase System in Brevibacterium flavum
- Enhancement of Endothelial Nitric Oxide Production by Chenodeoxycholic Acids in Patients with Hepatobiliary Diseases
- PJ-759 Hemodynamic and Autonomic Nervous Responses to the Restriction of Femoral Blood Flow by Kaatsu(Exercise test/Cardiac rehabilitation-6 (IHD) PJ131,Poster Session (Japanese),The 70th Anniversary Annual Scientific Meeting of the Japanese Circulation S
- PJ-188 Hemodynamic and Hormonal Responses to Short-Term Low-Resistance Exercise with Restricted Muscle Blood Flow(Exercise Test/Cardiac Rehabilitation 2 (IHD) : PJ32)(Poster Session (Japanese))
- The Axonal Regeneration Across a Honeycomb Collagen Sponge Applied to the Transected Spinal Cord
- Comparison between endoscopic and microscopic lumbar decompression using tubular retractor to perform minimally invasive surgery
- Study of Factors for Incisional Surgical Site Infection after Elective Surgery of the Lower Digestive Tract
- RELATION BETWEEN RESPIRATORY SUPPRESSION FROM SEDATION DURING ENDOSCOPY AND VITAL CAPACITY
- Intracranial Metastasis of Renal Cell Carcinoma : MR Imaging
- Determination of Urea in Serum Based on the Combination of an Enzymatic Reaction with Immobilized Urease and Ion Chromatographic Analysis
- Basic Studies on N"-Ursodeoxycholyldiethylenetriamine-N, N, N'-triacetic Acid for the Dissolution of Calcified Gallstones
- S-C-7. Clinical and Experimental Studies on Whiplash Injury
- Expression of Odontoblastic-Related Genes in Human Dental Follicle Cells, Dental Pulp Stem Cells, and Oral Mucosal Cells
- ^I-iomazenil binding shows stress- and/or diazepam-induced reductions in mouse brain: Supporting data for ^I-iomazenil SPECT study of anxiety disorders
- Unusual renal involvement of polymyositis complicated with malignant hypertension
- Angiomyolipoma of the Colon : Report of a Case
- The Rapid Evaluation of Intestinal Bacterial Growth Using a Conjugate of Ursodeoxycholic Acid with para-Aminobenzoic Acid
- The Effects of Intraoperative Glucose Infusion on Portal Blood Insulin Concentration and Hepatic Mitochondrial Redox State During Surgery : Comparison of Short-Term and Continuous Infusions
- Proliferating Activity of the Hair Follicular Melanocytes at the Early and Anagen III Stages in the Hair Growth Cycle : Detection by Immunocytochemistry for Bromodeoxyuridine Combined with DOPA Reaction Cytochemistry
- Cerebral Blood flow Changes During the Mastication
- Hyperlordosis of the Cervical Spine is a Risk Factor for Reconstruction Failure of 3-level or Greater Anterior Cervical Decompression and Anterior Plate Fixation Fusion
- An investigation on degrees of unsolvability
- A Case of Metastatic Small Intestine Tumor from Breast Cancer 19 Years after the Breast Operation
- Improvement of long-term survival of colorectal cancer in Japanese-Americans of Hawaii from 1990 to 2001
- A Case of Sigmoid Colon Cancer with Congenital Antithrombin III Deficiency
- Bromination of aromatic amines by use of benzyltrimethylammonium chlorobromate (1-)
- Hydrolysis and Absorption of a Conjugate of Ursodeoxycholic Acid with para-Aminobenzoic Acid
- Prognostic impact of platelet-derived growth factor in breast carcinoma patients with hematogenous metastasis
- Is DSM widely accepted by Japanese clinicians?
- A Histological Study of Cutaneous Thermal Wounds Using a Clostridium perfringens-Derived Wound Healing Substance with Wound Healing Stimulation Activity
- Preparation of Thin Palladium Membranes by a Novel Method Based on Photolithography and Electrolysis
- A Formal System for Specification Analysis of Concurrent Programs
- Debridement using a dermatome driven with compressed air (airdermatome)
- Treatment of microcystic lymphangioma with OK-432 after intralesional excision