Fundamenta Informaticae > 2004 > Vol. 60, nr 1-4 > 367--382
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] M. Abadi. L. Lamport, and P. Wolper, Realizable and Unrealizable Specifications of Reactive Systems. In Proc. Intern. Coll. on Automata. Languages and Programming, Lecture Notes in Computer Science 372, Springer, Berlin, 1989, 1-17.
-
[2] A. Arora, PC. Attie, and E.A. Emerson, Synthesis of Fault-tolerant Concurrent Programs. In Proc. ACM Symp. on Principles of Distributed Computing, ACM Press, 1998, 173-182.
-
[3] P.C. Attie and E.A. Emerson, Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation. In Proc. ACM Symp. on Principles of Distributed Computing, ACM Press, 1996, 111-120.