-
3
-
-
0029707467
-
Synthesis of concurrent systems for an atomic read/atomic write model of computation (extended abstract)
-
May
-
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.
-
(1996)
Proc. 15'th ACM Symposium on Principles of Distributed Computing
, pp. 111-120
-
-
Attie, P.C.1
Emerson, E.A.2
-
4
-
-
0031598901
-
Synthesis of concurrent systems with many similar processes
-
January
-
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.
-
(1998)
ACM Trans. Program. Lang. Syst.
, vol.20
, Issue.1
, pp. 51-115
-
-
Attie, P.C.1
Emerson, E.A.2
-
5
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
April
-
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.
-
(1986)
ACM Trans. Program. Lang. Syst.
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, P.3
-
6
-
-
84976713553
-
Concurrent control with readers and writers
-
P.J. Courtois, H. Heymans, and D.L. Parnas. Concurrent control with readers and writers. Communications of the ACM, 14(10):667-668, 1971.
-
(1971)
Communications of the ACM
, vol.14
, Issue.10
, pp. 667-668
-
-
Courtois, P.J.1
Heymans, H.2
Parnas, D.L.3
-
9
-
-
85030768560
-
Synthesizing processes and schedulers from temporal specifications
-
Springer-Verlag
-
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.
-
(1990)
2'nd Intl.CAV Conference, LNCS
, vol.531
-
-
Dill, D.L.1
Wong-Toi, H.2
-
10
-
-
0001449325
-
Temporal and modal logic
-
The MIT Press/Elsevier, Cambridge, Mass
-
E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, volume B. The MIT Press/Elsevier, Cambridge, Mass., 1990.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
-
-
Emerson, E.A.1
-
11
-
-
0020226119
-
Using branching time temporal logic to synthesize synchronization skeletons
-
E. A. Emerson and E. M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program., 2:241-266, 1982.
-
(1982)
Sci. Comput. Program
, vol.2
, pp. 241-266
-
-
Emerson, E.A.1
Clarke, E.M.2
-
12
-
-
0023362541
-
Modalities for model checking: Branching time logic strikes back
-
E. A. Emerson and C. Lei. Modalities for model checking: Branching time logic strikes back. Sci. Comput. Program., 8:275-306, 1987.
-
(1987)
Sci. Comput. Program.
, vol.8
, pp. 275-306
-
-
Emerson, E.A.1
Lei, C.2
-
13
-
-
0028427381
-
Model checking and modular verification
-
May
-
O. Grumberg and D.E. Long. Model checking and modular verification. ACM Trans. Program. Lang. Syst., 16(3):843-871, May 1994.
-
(1994)
ACM Trans. Program. Lang. Syst.
, vol.16
, Issue.3
, pp. 843-871
-
-
Grumberg, O.1
Long, D.E.2
-
14
-
-
84976828744
-
Synthesis of communicating processes from temporal logic specifications
-
January
-
Z. Manna and P. Wolper. Synthesis of communicating processes from temporal logic specifications. ACM Trans. Program. Lang. Syst., 6(1):68-93, January 1984.
-
(1984)
ACM Trans. Program. Lang. Syst.
, vol.6
, Issue.1
, pp. 68-93
-
-
Manna, Z.1
Wolper, P.2
-
16
-
-
0003015907
-
On the synthesis of asynchronous reactive modules
-
Berlin. Springer-Verlag
-
A. Pnueli and R. Rosner. On the synthesis of asynchronous reactive modules. In Proc. 16th ICALP, volume 372 of LNCS, Berlin, 1989. Springer-Verlag.
-
(1989)
Proc. 16th ICALP Volume 372 of LNCS
-
-
Pnueli, A.1
Rosner, R.2
|