Operational semantics of logical concurrent systems


We describe the operational semantics of the language for modelling logical concurrent systems (LCS). Such systems are characterised by atomic synchronous uniication. The model permits the description of both dependant and independent simultaneous actions or sets of atomic events. A semantics is given via labelled transition systems. The notion of… (More)


  • Presentations referencing similar topics