Synthesis of Communicating Processes from Temporal Logic Specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 6, Issue 1, 1984, Pages 68-93

  Manna, Zohar ^a   Wolper, Pierre ^b  

^a STANFORD UNIVERSITY   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Concurrency; mutual exclusion; specification; synchronization

Indexed keywords

EID: 84976828744     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/357233.357237     Document Type: Article

References (15)

1. BEN-ARI, M., MANNA, Z., AND PNEULI, A. The temporal logic of branching time. In Proceedings 8th ACM Symposium on Principles on Programming Languages (Williamsburg, Va., Jan. 26-28), ACM, New York, 1981, pp. 164-176.
2. CLARKE, E. M., AND EMERSON, E.A. Synthesis of synchronization skeletons from branching time temporal logic. In Proceedings of the Workshop on Logics of Programs (Yorktown-Heights, N.Y.). Lecture Notes in Computer Science, Springer-Verlag, New York, 1981, pp. 52-71.
3. GABBAY, D., PNEULI, A., SHELAH, S., AND STAVI, J. On the temporal analysis of fairness. In Proceedings 7th ACM Symposium on Principles of Programming Languages (Las Vegas, Nev., Jan. 28-30), ACM, New York, 1980, pp. 163-173.
4. GRIFFITHS, P. SYNVER: A system for the automatic synthesis and verification and synthesis of synchronization processes. Ph.D. dissertation, Aiken Computation Laboratory, Harvard Univ., Cambridge, Mass., June 1975.
5. HABERMANN, A.N. Path expressions. Computer Science Report, Carnegie-Mellon University, Pittsburgh, Pa., 1975.
6. HOARE, C. A. R. Communicating sequential processes. Commun. ACM 21, 8 (Aug. 1978), 666-677.
7. LAVENTHAL, M. Synthesis of synchronization code for data abstractions. Ph.D. dissertation, Laboratory for Computer Science, Massachusetts Institute of Technology, Boston, Mass., June 1978.
8. MANNA, Z., AND PNEULI, I. Verification of concurrent programs: the temporal framework. In The Correctness Problem in Computer Science, R. S. Boyer and J. S. Moore (eds.). International Lecture Series in Computer Science. Academic Press, New York, 1981, pp. 215-273.
9. PNEULI, A. The temporal logic of programs. In Proceedings of the 18th Symposium on Foundations of Computer Science (Providence, R.I., Nov.) 1977, pp. 46-57.
10. PRIOR, A. Past, Present and Future. Oxford University Press, New York, 1967.
11. RAMAMRITHAM, K., AND KELLER, R. M. Specification and synthesis of synchronizers. In Proceedings International Symposium on Parallel Processing (Aug.) 1980, pp. 311-321.
12. RESCHER, N., AND URQUART, A. Temporal Logic, Springer-Verlag, New York, 1971.
13. SMULLYAN, R.U. First Order Logic. Springer-Verlag, New York, 1968.
14. WOLPER, P. Specification and synthesis of communicating processes using an extended temporal logic. In Proceedings of 9th ACM Symposium on Principles of Programming Languages (Albuquerque, N.M., Jan. 25-27), ACM, New York, 1982, pp. 20-33.
15. WOLPER, P. Temporal logic can be more expressive. In Proceedings of the 22d Symposium on Foundations of Computer Science (Nashville, Tenn., Oct.), 1981.