Romanian Academy FML Technical Report TR no . FML - 12 - 02 Printed
نویسندگان
چکیده
Continuation Semantics for Asynchronous Concurrency G.Ciobanu and E.N.Todoran Approved for public release; further dissemination unlimited. Prepared by Formal Methods Laboratory. Series of Technical Reports (Institute of Computer Science Iaşi) ISSN 1842 1490 FML is the Formal Methods Laboratory from the Institute of Computer Science of the Romanian Academy and is located in Iaşi. It is a research institution aimed at developing new formalisms for challenging open problems in computer science, systems biology and other emerging research fields. FML is headed by Dr. Gabriel Ciobanu. IIT is the Institute of Computer Science of the Romanian Academy and is concerned with basic research in computer science. Romanian Academy of Science is the supreme forum of science from Romania. Calea Victoriei 125, Sector 1, 010071, Bucharest, ROMANIA. Telephone: +40 21 2128640 Telefax: +40 21 2116608 Web: http://www.academiaromana.ro/ Printed in Romania and reproduced directly from the authors original copy. Copyright: c ©2005 Formal Methods Laboratory Iaşi (FML) Blvd. Carol I, nr.8, 700505, Iaşi, ROMANIA (RO) Institute of Computer Science, Romanian Academy, branch Iaşi. Telephone/Telefax: +40 232 241708 Web: http://iit.iit.tuiasi.ro/fml Contact: [email protected] Notice: Permission is hereby granted for the redistribution of this material so long as this item is redistributed in full and with appropriate credit given to the author(s). All other rights reserved. Series of Technical Reports (Institute of Computer Science Iaşi) ISSN 1842 1490 Abstract Continuation Semantics for Asynchronous ConcurrencyContinuation Semantics for Asynchronous Concurrency
منابع مشابه
Formal Methods Laboratory Romanian Academy
The paper presents a method of reasoning about the behavior of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency. 1Head of Formal Methods Laboratory (FML) 2Contact person
متن کاملEffective immunotherapy against canine visceral leishmaniasis with the FML-vaccine.
The potential effect of the fucose mannose ligand (FML)-vaccine on immunotherapy of canine visceral leishmaniasis was assayed on five mongrel dogs experimentally infected with Leishmania donovani and on 21 Leishmania chagasi naturally infected dogs when seropositive to FML but completely asymptomatic. The clinical signs of the experimentally infected, symptomatic dogs only disappeared after the...
متن کاملQualitative and quantitative analysis of furosine in fresh and processed ginsengs
Background Furosine (ɛ-N-2-furoylmethyl-L-lysine, FML) is an amino acid derivative, which is considered to be an important indicator of the extent of damage (deteriorating the quality of amino acid and proteins due to a blockage of lysine and a decrease in the digestibility of proteins) during the early stages of the Maillard reaction. In addition, FML has been proven to be harmful because it i...
متن کاملComparison between the frequencies of FML and composite cylindrical shells using beam modal function model
A comparison between the vibration of fiber-metal laminate (FML) and composite cylindrical shells has been studied in this manuscript. Love’s first approximation shell theory has been applied to obtain Strain-displacement relations. In addition, beam modal function model has been used to analyze the cylindrical shell with different boundary conditions. In this manuscript, the frequencies of FML...
متن کاملTopical Fluorometholone Treatment for Ocular Dryness in Patients With Sjögren Syndrome
The purpose of the study was to evaluate the efficacy of an ophthalmic solution containing 0.1% fluorometholone (FML) and 0.1% sodium hyaluronate (HA) for the treatment of ocular dryness in Sjögren syndrome (SS) patients.Forty SS patients were randomly assigned to the FML or cyclosporin A (CsA) treatment groups. The FML group was treated with 0.1% FML and 0.1% HA, and the CsA group was treated ...
متن کامل