Synthesis of large concurrent programs via pairwise composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1664 LNCS, Issue , 1999, Pages 130-145

  Attie, Paul C ^a  

^a Florida International University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

CONCURRENT PROGRAM; CORRECTNESS PROPERTIES; GLOBAL STATE; LARGE MODELS; LARGE PROGRAMS; STATE EXPLOSION; STATE TRANSITION DIAGRAMS;

ARTIFICIAL INTELLIGENCE;

EID: 84888223660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_11     Document Type: Conference Paper

References (16)

1. A. Anuchitanukul and Z. Manna. Realizability and synthesis of reactive modules. In Proc. 6th Intl. CAV Conference, volume 818 of LNCS. Springer-Verlag, 1994.
2. A. Arora, P. C. Attie, and E. A. Emerson. Synthesis of fault-tolerant concurrent systems. In Proc. 17'th Annual ACM Symposium on Principles of Distributed Computing, pages 173-182, June 1998.
3. P. C. Attie and E. A. Emerson. Synthesis of concurrent systems for an atomic read/atomic write model of computation (extended abstract). In Proc. 15'th ACM Symposium on Principles of Distributed Computing, pages 111-120, May 1996.
4. P. C. Attie and E. A. Emerson. Synthesis of concurrent systems with many similar processes. ACM Trans. Program. Lang. Syst., 20(1):51-115, January 1998.
5. E. M. Clarke, E. A. Emerson, and P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244-263, April 1986.
6. P.J. Courtois, H. Heymans, and D.L. Parnas. Concurrent control with readers and writers. Communications of the ACM, 14(10):667-668, 1971.
7. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall Inc., 1976.
8. E. W. Dijkstra. Selected Writings on Computing: A Personal Perspective, pages 188-199. Springer-Verlag, New York, 1982.
9. D.L. Dill and H. Wong-Toi. Synthesizing processes and schedulers from temporal specifications. In 2'nd Intl.CAV Conference, LNCS vol. 531. Springer-Verlag, 1990.
10. E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, volume B. The MIT Press/Elsevier, Cambridge, Mass., 1990.
11. E. A. Emerson and E. M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program., 2:241-266, 1982.
12. E. A. Emerson and C. Lei. Modalities for model checking: Branching time logic strikes back. Sci. Comput. Program., 8:275-306, 1987.
13. O. Grumberg and D.E. Long. Model checking and modular verification. ACM Trans. Program. Lang. Syst., 16(3):843-871, May 1994.
14. Z. Manna and P. Wolper. Synthesis of communicating processes from temporal logic specifications. ACM Trans. Program. Lang. Syst., 6(1):68-93, January 1984.
15. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symposium on Principles of Programming Languages, New York, 1989. ACM.
16. A. Pnueli and R. Rosner. On the synthesis of asynchronous reactive modules. In Proc. 16th ICALP, volume 372 of LNCS, Berlin, 1989. Springer-Verlag.