Academic
Publications
Process Specification in a UNITY Format

Process Specification in a UNITY Format,Jacob Brunekreef

Process Specification in a UNITY Format   (Citations: 8)
BibTex | RIS | RefWorks Download
In this paper a "UNITY Format" for process specifications is introduced. The format is based on conditionson process states and process data. Several aspects of this format are discussed: a straightforwardnormalisation of the parallel composition of processes, the relation between the ACP priority operator `and conditions and the correspondence with a term rewriting system, which opens certain perspectiveswith respect to the validation and verification of a specification. Throughout the...
Published in 1993.
Cumulative Annual
Sort by: