Synthesis of Communicating Processes from Temporal Logic Specifications

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Mordechai Ben-Ari , Zohar Manna , Amir Pnueli, The temporal logic of branching time, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.164-176, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567551]
	2	Edmund M. Clarke , E. Allen Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs, Workshop, p.52-71, May 01, 1981
	3	Dov Gabbay , Amir Pnueli , Saharon Shelah , Jonathan Stavi, On the temporal analysis of fairness, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.163-173, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567462]
	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	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	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, A. 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.M. First Order Logic. Springer-Verlag, New York, 1968.
	14	Pierre Wolper, Specification and synthesis of communicating processes using an extended temporal logic: (preliminary version), Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.20-33, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582156]
	15	WOLPER, P. Temporal logic can be more expressive. In Proceedings of the 22d Symposium on Foundations of Computer Science (Nashville, Tenn., Oct.), 1981.