Manna, Zohar; Wolper, Pierre Synthesis of communicating processes from temporal logic specifications. (English) Zbl 0522.68030 ACM Trans. Program. Lang. Syst. 6, 68-93 (1984). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 40 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 03B44 Temporal logic 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:propositional temporal logic; PTL; concurrency; synchronization; specification; mutual exclusion PDF BibTeX XML Cite \textit{Z. Manna} and \textit{P. Wolper}, ACM Trans. Program. Lang. Syst. 6, 68--93 (1984; Zbl 0522.68030) Full Text: DOI OpenURL