Abstract
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.
Preview
Unable to display preview. Download preview PDF.
6 References
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, 1980
E Best, B Randell: A Formal Model of Atomicity in Asynchronous Systems, Acta Informatica 16, 93–124 (1981).
R Devillers: On the Maximally Concurrent Evolution of a COSY System, Report ASM/106, Computing Laboratory, University of Newcastle upon Tyne, 1983.
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).
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.
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.
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.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Janicki, R., Lauer, P.E., Devillers, R. (1985). Maximally concurrent evolution of non-sequential systems. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds) Seminar on Concurrency. CONCURRENCY 1984. Lecture Notes in Computer Science, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15670-4_13
Download citation
DOI: https://doi.org/10.1007/3-540-15670-4_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15670-3
Online ISBN: 978-3-540-39593-5
eBook Packages: Springer Book Archive