Advertisement

Non-sequential behaviour

  • M. W. Shields
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 167)

Keywords

Event Structure Independence Relation Path Expression Concurrent Computation Trace Language 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Arnold, A., Synchronised Behaviours of Processes and Rational Relations. Acta Informatica 17:21–30, 1981.Google Scholar
  2. [2]
    Brauer, W. (ed.), LNCS. Volume 84: Net Theory and Application. Springer, 1980.Google Scholar
  3. [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. [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.CrossRefGoogle Scholar
  5. [5]
    Mazurkiewicz, A., Concurrent Program Schemes and their Interpretation. In Proceedings, Aarhus Workshop on Verification of Parallel Processes, 1977.Google Scholar
  6. [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. [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. [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. [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. [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. [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. [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. [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. [14]
    Shields, M.W., Lauer, P.E., Verifying Concurrent System Specifications in COSY. In Proc. MFCS 8, LNCS Vol. 88, 1980.Google Scholar
  15. [15]
    Starke, P., Processes in Petri Nets, Elektronische Informationsverarbeitung und Kybernetik 17(8–9): 389–416, 1981.Google Scholar
  16. [16]
    Winskel, G., Events in Computation (Ph.D. thesis). University of Edinburgh, Department of Computer Science, 1980.Google Scholar
  17. [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. [18]
    Winkowski, J., An Algebraic Description of Systems Behaviours, Theoretical Computer Science 21(3):215–340, December 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • M. W. Shields
    • 1
  1. 1.Electronics LaboratoriesUniversity of Kent at CanterburyUK

Personalised recommendations