Abstract
The mathematically precise definition of a simple notation for designing and Implementing programs involving synchronization of parallel processes introduced by C.A.R. Hoare in (2) and (3) Is expressed in the COSY formalism. The latter formalism not only generalizes the semantic trace model used by Hoare but also reduces the complexity of the formalism for representing concurrency and simplifies the proofs of correctness carried out in the model. A number of versions of Hoareās examples are developed and absence of partial or total system deadlock is demonstrated.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Net theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg 1979 (Ed. W. Brauer) Lecture Notes in Computer Science 84, Springer Verlag 1980.
Hoare, C.A.R.: Synchronisation of Parallel Processes. In: Advanced Techniques for Microprocessor Systems. (Ed. F.K. Hanna ), Peter Peregrinus Ltd. 1980.
Hoare, C.A.R.: Communicating Sequential Processes. Ins On the construction of programs. (Eds. McKeag and MacNaghten) Cambridge University Press 1980.
Milner, R.2: A Calculus of Communicating Systems. Lecture Notes in Computer Science 921 Springer Verlag 1980.
Lauer, P.E., Campbell, R.H.: Pormal semantics for a class of high level primitives for coordinating concurrent processes. Acta Informatica 5, 247ā332 (1975).
Lauer, P.E., Shields, M.W., Best, E.: The design and certification of asynchronous systems of processes. Proc. of EEC Advanced Course on Abstract Software Specification, Lyngby, Jan. 22 ā Feb. 2, 1979. Lecture Notes in Computer Science, No. 86, Springer Verlag, 1979, pp. 451ā503.
Lauer, P.E., Torrigiani, P.R., Shields, M.W.: COSY: a system specification language based on paths and processes. Acta Informatica, Vol. 12, pp. 109ā158, 1979.
Lauer, P.E., Shields, M.W.: Abstract specification of resource accessing disciplines:: adequacy, starvation, priority and interrupts. SIGPLAN Notices, Vol. 13, No. 12, Dec. 1978.
Lauer, P.E., Shields, M.W.: COSY An environment for development and analysis of concurrent and distributed svstems. In: Software Engineering Environments (Ed. H. Hunke) North Holland 1981.
Shields, M.W.: Adequate Path Expressions. Proc. Symp. on the Semantics of Concurrent Computation, Evian-les-Bains, July 2ā4, 1979. Lecture Notes in Computer Science Vol. 70, Springer Verlag 1979.
Shields, M.W., Lauer, P.E.: On the abstract specification and formal analysis of synchronization properties of concurrent systems. Proc. of Int. Conf. on Mathematical Studies of Information Processing. Aug. 23ā26, Kyoto, 1978. Lecture Notes in Computer Science 75, Springer Verlag 1979, pp. 1ā32.
Shields, M.W,, Lauer, P.E.: A formal semantics for concurrent systems. Proc. 6th Int. Colloqu. for Automata, Languages and Programming, July 16ā21, 1979 Graz, Lecture Notes in Computer Science, 71, Springer Verlag, 1979, pp. 569ā584.
Shields, M.W., Lauer, P.E.: Verifying concurrent system specification in COSY. Proc. 8th Symposium on Mathematical Foundations of Computer Science, Aug. 31 ā Sept. 6, 1980, Poland. Lecture Notes in Computer Science, No. 88, Springer Verlag 1980, pp. 576ā586.
Lauer, P.E., Torrigiani, P.R., Devillers, R.: A COSY Bankers Specification of highly parallel and distributed resource management. Proc. 4th International Symposium on Programming, Paris, April 22ā24, 1980. Lecture Notes in Computer Science, 83, Springer Verlag 1980, pp. 223ā239.
Campbell, R.H., Habermann, A.N.: The specification of process synchronization by path expressions. Lecture Notes in Computer Science V. 16, Springer Verlag, pp. 89ā102.
Best, E.: Adequacy of Path Programs In: Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems. Hamburg, 1979. (Ed. Prof. Wilfried Brauer). Lecture Notes in Computer Science 84, Springer Verlag 1980.
Lauer, P.E., Shields, M.W., Best, E.: Formal Theory of the Basic COSY Notation. The Computing Laboratory, University of Newcastle upon Tyne, Tech. Rep. Series No. 143, November 1979.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 1982 D. Reidel Publishing Company
About this paper
Cite this paper
Lauer, P.E. (1982). Synchronization of Concurrent Processes without Globality Assumptions. In: Beauchamp, K.G. (eds) New Advances in Distributed Computer Systems. Nato Advanced Study Institutes Series, vol 80. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-7760-0_25
Download citation
DOI: https://doi.org/10.1007/978-94-009-7760-0_25
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-7762-4
Online ISBN: 978-94-009-7760-0
eBook Packages: Springer Book Archive