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.
Preview
Unable to display preview. Download preview PDF.
References
G. Winskel, “Event Structure Semantics for CCS and Related Languages.,” Tech. Rep. DAIMIPB-159, Computer Science Department, University of Aarhus, April, 1983.
A. Mazurkiewicz, “Concurrent Program Schema and their Interpretations,” in Procedings Aarhus Workshop on Verification of Parallel Programs, 1977.
M. W. Shields, “Concurrent Machines,” Computer Journal, vol. 28, pp. 449–465, 1985.
M. W. Shields, Elements of a Theory of Parallelism, MIT Press, In Preparation.
A. Einstein, Relativity: The Special and General Theory, Methuen.
C. A. Petri, “Non-Sequential Processes,” Interner Bericht ISF-77-05, Gesellschaft fur Mathematik und Datenverarbeitung, 1977.
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.
R. M. Keller, “Formal Verification of Parallel Programs,” CACM, vol. 19(7), 1975.
M. A. Bednarcztk, Categories of Asynchronous Systems, Ph.D. Thesis, University of Sussex, October 1987.
A. R. J. G. Milner, “Calculi for Synchrony and Asynchrony,” Tech. Rep. CSR-104-82, Computer Science Department, University of Edinburgh, 1982.
G. Winskel, Events in Computation,, Ph.D. Thesis, Computer Science Department, University of Sussex, October 1980.
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.
A. R. J. G. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, 92, Springer Verlag, 1980.
C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall International Series in Computer Science, 1985.
G. Costa and C. Stirling, “Fair Calculus of Communicating Systems,” Tech. Rep. CSR-137-83, Computer Science Department, University of Edinburgh, 1983.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights 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