Extended transition systems for parametric bisimulation

In the last years, a wide spectrum or semamic models for concurrency has been developed. Any model deals with different aspects of distributed concurrent systems. Moreover, there is not a general accepted model. Indeed, difrerent approaches may be used to specify different properties (or views) of the system. For example, the fìnal user of a system may just want to know how the system behaves in terms or its possible temporal sequences of actions, and thus the interleaving semantics [Mi189] is suitable for him. On the olher hand, the designers of a system usually need information about causal and spatial dependencies between the actions of the system, and thus a truly concurreent semantics is more adequate for them.