Preview
Unable to display preview. Download preview PDF.
References
Courtois, P.J., Georges, J.: On Starvation Prevention, R.A.I.R.D. Informatique/Computer Science, Vol. 11, No. 2, 1977.
Devillers, R.: Non starving solutions to the dining philosophers problem. ASM/30, University of Newcastle upon Tyne, 1977.
Devillers, R., Lauer, P.E.: A general mechanism for the local control of starvation: application to the dining philosophers and to the reader-writer problem. ASM/32, University of Newcastle upon Tyne, 1977.
Holt, A.: Introduction to Occurrence Systems, Associate Information Techniques, Ed. Jacks, E.L., American Elsevier Publ. Co. Inc., New York (1971), pp.175–203.
Knuth, E.: Petri Nets and regular Trace languages. ASM/47, University of Newcastle upon Tyne, April, 1978.
Lauer, P.E., Campbell R.H.: Formal semantics for a class of high-level primitives for co-ordinating concurrent processes, Acta Informatica, 5, pp.297–332, 1975.
Lauer, P.E., Shields, M.W.: Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. Tech. Rep. 120, University of Newcastle upon Tyne. Also in Proc. of a Workshop on Global Descriptive Methods for Synchronization in Real-Time Applications, AFCET, Paris, Nov. 3–4, 1977.
Lauer, P.E., Shields, M.W., Best E.: On the design and certification of asynchronous systems of process: Part 1: COSY — a system specification language based on paths and processes, ASM/49. Part 2: formal theory of the basic COSY notation. ASM/45, University of Newcastle upon Tyne, 1978.
Lauer, P.E., Torrigiani, R.R.: Towards a system specification language based on paths and processes. Tech. Rep. 117, University of Newcastle upon Tyne, Feb. 1978.
Mazurkiewicz, A.W.: Concurrent program schemes and their interpretation. Presented at the Århus Workshop on verification of parallel processes. Århus, Denmark. June 13–14, 1977.
Petri, C.A.: Nicht sequentiele prozesse. ISF Report 76-6, G.M.D., Bonn, 1976.
Shields, M.W.: A simple spooling system described using the path notation together with a proof of its adequacy. ASM/38, University of Newcastle upon Tyne, 1977.
Winkowski, J.: Algebras of arrays, a tool to deal with concurrency. Institute of Computer Science, Polish Academy of Science, Warsaw, 1977.
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). On the abstract specification and formal analysis of synchronization properties of concurrent systems. In: Blum, E.K., Paul, M., Takasu, S. (eds) Mathematical Studies of Information Processing. Lecture Notes in Computer Science, vol 75. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09541-1_21
Download citation
DOI: https://doi.org/10.1007/3-540-09541-1_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09541-5
Online ISBN: 978-3-540-35010-1
eBook Packages: Springer Book Archive