Ilaria Castellani, Madhavan Mukund, P S Thiagarajan  Home/Search
Context Related
| sop.inria.fr/mimosa...paperfst99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sop.inria.fr/mi...inpublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study the problem of synthesizing distributed implementations from global specifications. In particular, we characterize when a global transition system can be implemented as a synchronized product of local transition systems. Our work extends a number of previous studies in this area which have tended to make strong assumptions about the specification---either in terms of determinacy or in terms of information concerning concurrency. (Update)
Similar documents based on text: More All
0.8: Synthesizing Distributed Transition Systems From.. - Castellani, Mukund.. (1999) (Correct)
0.3: Models and Logics for True Concurrency - Lodaya, Mukund, Ramanujam.. (1990) (Correct)
0.3: Regular Collections of Message Sequence Charts - Henriksen, Mukund, Kumar.. (2000) (Correct)
BibTeX entry: (Update)
I. Castellani, M. Mukund, and P.S. Thiagarajan. Synthesizing distributed transition systems from global specifications. In Proceedings of Foundations of Software Technology and Theoretical Computer Science, FSTTCS 1999, volume 1739 of Lecture Notes in Computer Science, pages 219--231. Springer, 1999. http://citeseer.ist.psu.edu/castellani99synthesizing.html More
@inproceedings{ castellani99synthesizing,
author = "Ilaria Castellani and Madhavan Mukund and P. S. Thiagarajan",
title = "Synthesizing Distributed Transition Systems from Global Specification",
booktitle = "Foundations of Software Technology and Theoretical Computer Science",
pages = "219-231",
year = "1999",
url = "citeseer.ist.psu.edu/castellani99synthesizing.html" }
Citations (may not include all citations):59 Prentice-Hall (context) - Milner, Concurrency - 1989
11 on Software Engineering (context) - Holzmann, checker et al. - 1997
8 University of Edinburgh (context) - Moller, Concurrency et al. - 1989
5 Thiagarajan: Elementary transition systems (context) - Nielsen, Rozenberg - 1992
4 Nielsen: Models for concurrency (context) - Winskel - 1995
3 Prentice-Hall (context) - Arnold, systems et al. - 1994
3 Princeton University Press (context) - Kurshan, of et al. - 1994
2 Darondeau: Theory of Regions (context) - Badouel - 1998
2 Thiagarajan: Characterizing decomposable transition systems (context) - Castellani, Mukund - 1999
2 Moller: Verification of Parallel Systems via Decomposition (context) - Groote - 1992
2 Milner: Unique decomposition of processes (context) - Moller - 1993
1 Rozenberg: Partial 2-structures; Part II (context) - Ehrenfeucht - 1990
Documents on the same site (http://www-sop.inria.fr/mimosa/personnel/Ilaria.Castellani/main-publications.html): More
Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001) (Correct)
On Bisimulations for the Asynchronous π-calculus? - Amadio, Castellani, Sangiorgi (1997) (Correct)
Testing Theories for Asynchronous Languages - Castellani, Hennessy (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC