Browse by author
Lookup NU author(s): Professor Eike Best
This paper presents concepts, observations and results about the problem of acheiving behaviour of concurrent systems. We approach the problem within the framework of a programming language, called path notation, for specifying concurretn systems. The meaning of the notation is explained in terms of the mathematical theory of transition nets. Our approach involves constraining the generative power of the syntax of merging restrictions and syntax. This enables us to make the adequacy problems tractable by considering it only within the limits of subclasses of concurrent systems.
Author(s): Lauer PE, Best E, Shields MW
Series Editor(s): Shaw B
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Year: 1977
Pages: [38]
Print publication date: 01/06/1977
Source Publication Date: June 1977
Report Number: 103
Institution: Computing Laboratory, The University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
