×

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).

MSC:

68N25 Theory of operating systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Citations:

Zbl 0477.00025

Software:

CESAR