On the suitability of trace semantics for modular proofs of communicating processes

R.J.R. Back, H. Mannila
1985 Theoretical Computer Science  
The question of whether a semantic model is suitable for the construction of a modular proof system is studied in detail. The notion of one semantic model being a (full) abstraction of another semantic model with respect to a given class of properties is introduced, and is used in analyzing different semantic models for communicating processes. A trace model for communicating processes is described and shown to be suitable for the construction of a modular proof system in which partial
more » ... ss assertions about communicating processes can be expressed. 0304-3975/85/$3.30 © 1985, Elsevier Science Publishers B.V. (North-Holland)
doi:10.1016/0304-3975(85)90130-6 fatcat:qmd5kdh3hncujohhys6rf4uk4u