Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on Automata, Languages, and Programming

ICALP 1979: Automata, Languages and Programming pp 571–584Cite as

A formal semantics for concurrent systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 71))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agerwala, T.: Some extended semaphore primitives, Acta Informatica 8, pp. 201–220, 1977.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Mazurkiewicz, A.: Concurrent program schemes and their interpretation. Presented at the Arhus Workshop on Verification of Parallel Processes, June 13–24. 1977, Arhus, Denmark.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Laboratory, University of Newcastle upon Tyne, Claremont Tower, Claremont Road, NE1 7RU, Newcastle upon Tyne, England

    M. W. Shields & P. E. Lauer

Authors
  1. M. W. Shields
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. E. Lauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hermann A. Maurer

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation