Frm Synchronization Tree Logic to Acceptance Model Logic

[1]  E.-R. Olderog,et al.  Specification-Oriented Programming in TCSP , 1989, Logics and Models of Concurrent Systems.

[2]  S. Graf,et al.  A Logic for the Specification and Proof of Controllable Processes of CCS , 1989, Logics and Models of Concurrent Systems.

[3]  Joseph Sifakis,et al.  A Logic for the Description of Non-deterministic Programs and Their Properties , 1986, Inf. Control..

[4]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.