Abstract
This volume contains the proceedings of the FCT′99 Workshop on Distributed Systems held on 2-3 September 1999 in Iassy, Romania as a satellite event to FCT′99 — the 12th International Symposium on Fundamentals of Computation Theory.Topics: The declared aim of the workshop was to select papers presenting new results in active areas of formal methods applied to distributed systems.The Programme Committee consisted of M. Broy (Munich, D)B. Moller (Augsburg, D)R. Diaconescu (Bucharest, RO)F. Moller (Uppsala, S)J. Esparza (Munich, D)A. Ponse (Amsterdam, NL)J.F. Groote (Amsterdam, NL)T. Rus (Iowa City, USA)R. Grosu (Philadelphia, USA)E. Stark (Stony Brock, USA)M. Kanovitch (Moscow, RU)Gh. Stefanescu (Bucharest, RO) - chairD. Lucanu (Iasi, RO)D. Walker (Oxford, UK)R. De Nicola (Firenze, I)The Invited Speakers were: Joseph Goguen(University of California at San Diego, USA)Matthew Hennessy (Sussex University, UK)Ugo Montanari (University of Pisa, Italy)The workshop Programme has consisted of three invited lectures, six accepted submissions, and three communications. Except for the papers enclosed in this volume, the program also has included the invited lecture of M. Hennessy, Secure Partial Typing of Mobile Agents in Open Systems and the communications: J.F. Groote and J. vanWamel, Basic theorems for parallel processes in timed miu-CRL; F. Martinelli, A uniform approach for the solution of module checking problems; and C. Zlatea and T. Elrad DUALITY: A Design Model for Mobile Distributed Systems Based on Partial Order Semantics.Organization: The organization of the workshop was partially supported by: Institute of Informatics, Technical University Munich; Department of Fundamentals of Informatics, University of Bucharest; and Faculty of Informatics, Al.I. Cuza University, Iasi. Special thanks go to Prof. Dr. Manfred Broy Chair (Programming Methods, Distributed Systems) at TUM which has supported the cost for the hard copies of this volume.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.