This is an extension of work presented in [Jaco van de Pol-Expressiveness of Basic Splice. Report SEN-R0033, December 2000]. It is proved that the seemingly weak architecture Basic Splice introduced there --in which the coordination of processes is done using only a global set with read/write primitives-- can support a distributed implementation of a large class of requirements specifications, namely LPEs (a muCRL intermediate representation of specifications).

, ,
Software Engineering [SEN]
Specification and Analysis of Embedded Systems

Orzan, S.-M. (2001). Distributing requirements specifications on basic splice. Software Engineering [SEN]. CWI.