Maximally concurrent evolution of non-sequential systems
The semantics expressed intuitively as "execute as much as possible in parallel" is formally defined and analysed. The relation between such a maximally concurrent semantics and "normal" semantics is developed. Some sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of non-sequential systems the COSY path expression formalism is used.
KeywordsGeneralise Path Regular Expression Single Path Concurrent System Computing Laboratory
Unable to display preview. Download preview PDF.
- [Br80]W Brauer (ed.): Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979. Lecture Notes in Computer Science 84, Springer Verlag, 1980Google Scholar
- [BR81]E Best, B Randell: A Formal Model of Atomicity in Asynchronous Systems, Acta Informatica 16, 93–124 (1981).Google Scholar
- [De83]R Devillers: On the Maximally Concurrent Evolution of a COSY System, Report ASM/106, Computing Laboratory, University of Newcastle upon Tyne, 1983.Google Scholar
- [DLMSS78]E W Dijkstra, L Lamport, A J Martin, C S Scholten, E F M Steffens: On the fly garbage collection: an exercise in cooperation, CACM 21, 966–975 (1978).Google Scholar
- [L82]P E Lauer: Computer System Dossiers, Proc. Int. Seminar on Synchronisation, Control and Communication in Distributed Computing Systems, London, Sept. 20 through 24, 1982. To appear in a Book by Academic Press.Google Scholar
- [L83]P E Lauer: Users' introduction to BCS: A computer based environment for specifying analysing and verifying concurrent systems, Report ASM/107, Computing Laboratory, University of Newcastle upon Tyne, June 1983.Google Scholar
- [LH82]P E Lauer, B C Hamshere: Project on a Computer Based Environment for the Design and Analysis of Highly Parallel and Distributed Computing Systems, Report ASM/103, Computing Laboratory, University of Newcastle upon Tyne, 1982.Google Scholar
- [LJ82]P E Lauer, R Janicki:The role of maximally concurrent simulation in the computer based analysis of distributed systems, Report ASM/96, Computing Laboratory, University of Newcastle upon Tyne, 1982.Google Scholar
- [LSC81]P E Lauer, M W Shields, J Y Cotronis: Formal behavioural specification of concurrent systems without globality assumptions, Int. Colloq. on Formalization of Programming Concepts, Lecture Notes in Computer Science V.107, 1981.Google Scholar
- [S79]M W Shields: Adequate Path Expressions; Proc. Intern. Symposium on the Semantics of Concurrent Computation, Evians-les-Bains, July 2–4, 1979. Lecture Notes in Computer Science No.70, Springer Verlag, 1979,pp. 249–265.Google Scholar