Semantics of concurrent systems: A modular fixed-point trace approach
A method for finding the set of processes generated by a concurrent system (the behaviour of a system) in modular way is presented. A system is decomposed into modules with behaviours assumed to be known and then the behaviours are successively put together giving finally the initial system behaviour. It is shown that there is much of freedom in choice of modules; in extreme case atoms of a system, i.e. subsystems containing only one resource, can be taken as modules; each atom has its behaviour defined a proiri. The basic operation used for composing behaviours is the synchronization operation defined in the paper. The fixed point method of describing sets of processes is extensively applied, with processes regarded as traces rather than strings of actions.
Key words and PhrasesConcurrent systems concurrent processes traces modularity fixed point method synchronization system composition Petri nets
Unable to display preview. Download preview PDF.
- Aalbersberg, IJ.J., Rozenberg, G.: Trace Theory — a Survey, Technical Report, Inst. of Appl. Math. and Comp. Sci., University of Leiden, 1984.Google Scholar
- Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of General Net Theory, LNCS 84, 1980.Google Scholar
- Györy, G., Knuth, E., Romai, L.: Grammatical Projections, Working Paper of Comp. and Automation Institute, Hungarian Academy of Sciences, 1979.Google Scholar
- Hoare, C.A.R.: Communicating Sequential Processes, CACM 21/8, 1978.Google Scholar
- Lauer, P.E., Shields, M.W., Best, E.: Design and Analysis of Highly Parallel and Distributed Systems, LNCS 86, 1979.Google Scholar
- Levi, F.W.: On semigroups, Bulletin of the Calcutta Mathematical Society, 36, pp.141–146, 1944.Google Scholar
- Mazurkiewicz, A.: Concurrent Program Schemes and Their Interpretations, DAIMI Report PB — 78, Aarhus University, 1977.Google Scholar
- Milner, R.: A Calculus of Communicating Systems, LNCS 92, 1980.Google Scholar
- Petri, C.A.: Nonsequential Processes, ISF Report 77.05, St.Augustin, GMD Bonn, 1975.Google Scholar