Keywords
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Arnold, A., Synchronised Behaviours of Processes and Rational Relations. Acta Informatica 17:21–30, 1981.
Brauer, W. (ed.), LNCS. Volume 84: Net Theory and Application. Springer, 1980.
Janicki, R., Characterisation of Concurrency-like Relations. In Giles Kahn (ed.), Proc. Symposium on the Semantics of Concurrent Computation, LNCS. Vol. 70. Springer, 1979.
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.
Mazurkiewicz, A., Concurrent Program Schemes and their Interpretation. In Proceedings, Aarhus Workshop on Verification of Parallel Processes, 1977.
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.
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.
Shields, M.W., Adequate Path Expressions. In Giles Kahn (ed.), Proc. Symposium on the Semantics of Concurrent Computation, LNCS Vol. 70. Springer, 1979.
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.
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.
Shields, M.W., Non-sequential Behaviours 1. Technical Report CRS-120-82, University of Edinburgh, Department of Computer Science, June, 1982.
Shields, M.W., Non-sequential Behaviours 2. Technical Report CRS-144-83, University of Edinburgh, Department of Computer Science, October, 1983.
Shields, M.W., Lauer, P.E., A Formal Semantics for Concurrent Systems. In Proceedings ICALP 6, LNCS Vol. 71, Springer, 1979.
Shields, M.W., Lauer, P.E., Verifying Concurrent System Specifications in COSY. In Proc. MFCS 8, LNCS Vol. 88, 1980.
Starke, P., Processes in Petri Nets, Elektronische Informationsverarbeitung und Kybernetik 17(8–9): 389–416, 1981.
Winskel, G., Events in Computation (Ph.D. thesis). University of Edinburgh, Department of Computer Science, 1980.
Winskel, G., Event Structures Semantics for CCS and Related Languages, Technical Report DAIMIPB-159, Aarhus University, Computer Science Department, April, 1983.
Winkowski, J., An Algebraic Description of Systems Behaviours, Theoretical Computer Science 21(3):215–340, December 1982.
Author information
Authors and Affiliations
Editor information
Rights 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