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).

Distributed systems (msc 68M14), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (msc 68N30), Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)
Software Engineering [SEN]
Specification and Analysis of Embedded Systems

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