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.
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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