Skip to main content
SpringerLink
Log in

Non-sequential behaviour

  • Conference paper
  • First Online:
International Symposium on Programming (Programming 1984)

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

Included in the following conference series:

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. Arnold, A., Synchronised Behaviours of Processes and Rational Relations. Acta Informatica 17:21–30, 1981.

    Google Scholar 

  2. Brauer, W. (ed.), LNCS. Volume 84: Net Theory and Application. Springer, 1980.

    Google Scholar 

  3. Janicki, R., Characterisation of Concurrency-like Relations. In Giles Kahn (ed.), Proc. Symposium on the Semantics of Concurrent Computation, LNCS. Vol. 70. Springer, 1979.

    Google Scholar 

  4. Lauer, P.E., Campbell, R.H., Formal Semantics for a Class of High Level Primitives for Coordinating Concurrent Processes. Acta Informatica 5: 247–332, 1975.

    Article  Google Scholar 

  5. Mazurkiewicz, A., Concurrent Program Schemes and their Interpretation. In Proceedings, Aarhus Workshop on Verification of Parallel Processes, 1977.

    Google Scholar 

  6. Nielsen, M., Plotkin, G., Winskel, G., Petri Nets, Event Structures and Domains. In Giles Kahn (ed.), Proc. Symposium on the Semantics of Concurrent Computation, LNCS Vol. 70. Springer, 1979.

    Google Scholar 

  7. Nivat, M., Infinitary Relations. 6th Colloquium on Trees in Algebra and Programming, "CAAP 81", Genoa, 1981, e.d. Estesiono and C. Böhm, LNCS 112, pp 46–75.

    Google Scholar 

  8. Shields, M.W., Adequate Path Expressions. In Giles Kahn (ed.), Proc. Symposium on the Semantics of Concurrent Computation, LNCS Vol. 70. Springer, 1979.

    Google Scholar 

  9. Shields, M.W., On the Non-sequential Behaviour of Systems Possessing a Generalised Free Choice Property. Technical Report CRS-92-81, University of Edinburgh, Department of Computer Science, September 1981.

    Google Scholar 

  10. Shields, M.W., Concurrency, Correctness, Proof and Undecidability in SDL-like Systems, Technical Report CSR-119-82, University of Edinburgh, Department of Computer Science, June, 1982.

    Google Scholar 

  11. Shields, M.W., Non-sequential Behaviours 1. Technical Report CRS-120-82, University of Edinburgh, Department of Computer Science, June, 1982.

    Google Scholar 

  12. Shields, M.W., Non-sequential Behaviours 2. Technical Report CRS-144-83, University of Edinburgh, Department of Computer Science, October, 1983.

    Google Scholar 

  13. Shields, M.W., Lauer, P.E., A Formal Semantics for Concurrent Systems. In Proceedings ICALP 6, LNCS Vol. 71, Springer, 1979.

    Google Scholar 

  14. Shields, M.W., Lauer, P.E., Verifying Concurrent System Specifications in COSY. In Proc. MFCS 8, LNCS Vol. 88, 1980.

    Google Scholar 

  15. Starke, P., Processes in Petri Nets, Elektronische Informationsverarbeitung und Kybernetik 17(8–9): 389–416, 1981.

    Google Scholar 

  16. Winskel, G., Events in Computation (Ph.D. thesis). University of Edinburgh, Department of Computer Science, 1980.

    Google Scholar 

  17. Winskel, G., Event Structures Semantics for CCS and Related Languages, Technical Report DAIMIPB-159, Aarhus University, Computer Science Department, April, 1983.

    Google Scholar 

  18. Winkowski, J., An Algebraic Description of Systems Behaviours, Theoretical Computer Science 21(3):215–340, December 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electronics Laboratories, University of Kent at Canterbury, UK

    M. W. Shields

Authors
  1. M. W. Shields
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Paul B. Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shields, M.W. (1984). Non-sequential behaviour. In: Paul, M., Robinet, B. (eds) International Symposium on Programming. Programming 1984. Lecture Notes in Computer Science, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12925-1_42

Download citation

  • DOI: https://doi.org/10.1007/3-540-12925-1_42

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12925-7

  • Online ISBN: 978-3-540-38809-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation