Skip to main content
SpringerLink
Log in

Behavioural presentations

  • Technical Contributions
  • Conference paper
  • First Online:
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX 1988)

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

Abstract

In this paper, we present a general behavioural model for parallel systems and a class of automata which accept them. We discuss the use of such automata in giving uniform, non-interleaving semantics for parallel specification languages.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Winskel, “Event Structure Semantics for CCS and Related Languages.,” Tech. Rep. DAIMIPB-159, Computer Science Department, University of Aarhus, April, 1983.

    Google Scholar 

  2. A. Mazurkiewicz, “Concurrent Program Schema and their Interpretations,” in Procedings Aarhus Workshop on Verification of Parallel Programs, 1977.

    Google Scholar 

  3. M. W. Shields, “Concurrent Machines,” Computer Journal, vol. 28, pp. 449–465, 1985.

    Article  Google Scholar 

  4. M. W. Shields, Elements of a Theory of Parallelism, MIT Press, In Preparation.

    Google Scholar 

  5. A. Einstein, Relativity: The Special and General Theory, Methuen.

    Google Scholar 

  6. C. A. Petri, “Non-Sequential Processes,” Interner Bericht ISF-77-05, Gesellschaft fur Mathematik und Datenverarbeitung, 1977.

    Google Scholar 

  7. M. Neilsen, G. Plotkin, and G. Winskel, “Petri Nets, Event Structures and Domains,” in Proceedings, Symposium on the Semantics of Concurrent Computation, Lecture Notes in Computer Science, vol. 70, pp. 266–283, Springer Verlag, 1979.

    Google Scholar 

  8. R. M. Keller, “Formal Verification of Parallel Programs,” CACM, vol. 19(7), 1975.

    Google Scholar 

  9. M. A. Bednarcztk, Categories of Asynchronous Systems, Ph.D. Thesis, University of Sussex, October 1987.

    Google Scholar 

  10. A. R. J. G. Milner, “Calculi for Synchrony and Asynchrony,” Tech. Rep. CSR-104-82, Computer Science Department, University of Edinburgh, 1982.

    Google Scholar 

  11. G. Winskel, Events in Computation,, Ph.D. Thesis, Computer Science Department, University of Sussex, October 1980.

    Google Scholar 

  12. H. J. Genrich, K. Lautenbach, and P. S. Thiagarajan, “Elements of General Net Theory,” in Proceedings, Advanced Course on General Net Theory of Processes and Systems, Lecture Notes in Computer Science, vol. 84, pp. 21–164, Springer Verlag, 1979.

    Google Scholar 

  13. A. R. J. G. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, 92, Springer Verlag, 1980.

    Google Scholar 

  14. C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall International Series in Computer Science, 1985.

    Google Scholar 

  15. G. Costa and C. Stirling, “Fair Calculus of Communicating Systems,” Tech. Rep. CSR-137-83, Computer Science Department, University of Edinburgh, 1983.

    Google Scholar 

  16. M. W. Shields, “Algebraic Models of Parallelism and Net Theory,” in Concurrency and Nets, ed. K. Voss, H. J. Genrich and G. Rozenburg, pp. 423–434, Springer Verlag, 1987.

    Google Scholar 

  17. R. Janicki, “A Formal Semantics for Concurrent Systems with a Priority Relation,” Tech. Rep. R 84-16, Institut for Elektroniske Systemer, University of Aalborg, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electronic Engineering Laboratories, The University of Kent at Canterbury, United Kingdom

    M. W. Shields

Authors
  1. M. W. Shields
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker W. -P. de Roever G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shields, M.W. (1989). Behavioural presentations. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. REX 1988. Lecture Notes in Computer Science, vol 354. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013040

Download citation

  • DOI: https://doi.org/10.1007/BFb0013040

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51080-2

  • Online ISBN: 978-3-540-46147-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation