Queille, J. P.; Sifakis, J. Specification and verification of concurrent systems in CESAR. (English) Zbl 0482.68028 Programming, Proc. int. Symp., 5th Colloq., Turin 1982, Lect. Notes Comput. Sci. 137, 337-351 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 118 Documents MSC: 68N25 Theory of operating systems 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:validation; communicating sequential processes; algorithmic description; CSP; fixed points of monotonic predicate transformers; interpreted Petri net Citations:Zbl 0477.00025 Software:CESAR × Cite Format Result Cite Review PDF