In: Fundamenta Informaticae, Vol. 11, pages 65-116. 1988.
Abstract: A new semantics for communicating processes is introduced which allows one to avoid explicit representation of hidden events of processes, which simplifies the concept of observation equivalence of processes. It offers also a framework to cope with indivisible sets of communication events.