Abstract
The semantics of systems of finitary finite and infinite communicating processes is defined by algebraic means. An operational semantics and two corresponding versions of mathematical semantics for closed communicating systems ('a posteriori' semantics) are given based on the principle of observability. The concept of virtual process as a consequence of restricted observability is discussed. Finally 'a priori' semantics of sequential communicating processes is defined in terms of behaviourly complete contexts.
| Original language | English |
|---|---|
| Title of host publication | Unknown Host Publication Title |
| Publisher | North-Holland Publ Co |
| Pages | 171-198 |
| Number of pages | 28 |
| ISBN (Print) | 0444866191 |
| State | Published - 1983 |