Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
Agerwala, T.: Some extended semaphore primitives, Acta Informatica 8, pp. 201–220, 1977.
Campbell, R.H., and Habermann, A.N.: The specification of process synchronization by path expressions. Lecture Notes in Computer Science (Ed. G. Goos and J. Hartmanis) pp. 89–102, V16 Springer Verlag, 1974.
Lauer, P.E., and Campbell, R.H.: Formal semantics for a class of high level primitives for coordinating concurrent processes. Acta Informatica 5, pp. 297–332, 1975.
Lauer, P.E., Shields, M.W. and Best, E.: On the design and certification of asynchronous systems of processes. Final Report Period 1976–1977. ASM/45 Part 2: Formal Theory of the Basic COSY Notation. March 1978. ASM/49 Part 1: COSY — a system specification language based on paths and processes. June, 1978. Computing Laboratory, University of Newcastle upon Tyne.
Lauer, P.E., and Torrigiani, P.R.: Towards a system specification language based on paths and processes. Tech. Report 120, Computing Laboratory, University of Newcastle upon Tyne, 1978.
Mazurkiewicz, A.: Concurrent program schemes and their interpretation. Presented at the Arhus Workshop on Verification of Parallel Processes, June 13–24. 1977, Arhus, Denmark.
Petri, C.A.: General Net Theory, Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar on Computing Systems Design, 7th–10th September 1976, (Ed. B. Shaw), Computing Laboratory, University of Newcastle upon Tyne, England, 1977.
Shields, M.W., Lauer, P.E.: On the abstract specification and formal analysis of synchronization properties of concurrent systems, In Proceedings of the International Conferences on Mathematical Studies of Information Processing, 1978 Kyoto, Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shields, M.W., Lauer, P.E. (1979). A formal semantics for concurrent systems. In: Maurer, H.A. (eds) Automata, Languages and Programming. ICALP 1979. Lecture Notes in Computer Science, vol 71. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09510-1_46
Download citation
DOI: https://doi.org/10.1007/3-540-09510-1_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09510-1
Online ISBN: 978-3-540-35168-9
eBook Packages: Springer Book Archive