CR-structures
V Schmitt - Fundamenta Informaticae, 1998 - content.iospress.com
In this paper CR-structures are introduced. They consist of a slight generalization of general
event structures [16], and supply a representation theorem for concurrency domains,–which …
event structures [16], and supply a representation theorem for concurrency domains,–which …
On atomic nets and concurrency relations
R Janicki - … Symposium on Mathematical Foundations of Computer …, 1980 - Springer
We have attempted to present a formalization of decomposition of nets into indivisible
sequential components and to investigate different notions of concurrency. We feel that this …
sequential components and to investigate different notions of concurrency. We feel that this …
Bundle event structures and CCSP
R van Glabbeek, F Vaandrager - International Conference on Concurrency …, 2003 - Springer
LNCS 2761 - Bundle Event Structures and CCSP Page 1 Bundle Event Structures and CCSP
Rob van Glabbeek1,⋆ and Frits Vaandrager2 1 National ICT Australia School of Computer …
Rob van Glabbeek1,⋆ and Frits Vaandrager2 1 National ICT Australia School of Computer …
Concurrent automata, prime event structures and universal domains
P Boldi, F Cardone, N Sabadini, M Droste… - … languages and model …, 1993 - books.google.com
In this paper we study the relationships between domains and computation spaces of
concurrent automata. In particular, we prove representation results for coherent dl-domains …
concurrent automata. In particular, we prove representation results for coherent dl-domains …
Notes on the methodology of CCS and CSP
RJ van Glabbeek - Theoretical Computer Science, 1997 - Elsevier
In this paper the methodology of some theories of concurrency (mainly CCS and CSP) is
analysed, focusing on the following topics: the representation of processes, the identification …
analysed, focusing on the following topics: the representation of processes, the identification …
[PDF][PDF] A topographical analysis of event structures
JJP Pérez - Relations and Kleene Algebra in Computer Science, 2006 - Citeseer
In the thesis [PP06] we introduce the notion of a topographical space to carry out an analysis
of event structures, which is a model for concurrent computation. We show how the notion of …
of event structures, which is a model for concurrent computation. We show how the notion of …
Structures in Concurrency Theory [electronic resource]: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May …
J Desel - sidalc.net
This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT)
that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited …
that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited …
Event structure semantics for CCS and related languages
G Winskel - … and Programming: Ninth Colloquium Aarhus, Denmark …, 1982 - Springer
Here we omit proofs wh1ch w1ll appear in a computer sc1ence report at Aarhus University.
1. Event structures Processes are modelled by event structures. An event structure consists …
1. Event structures Processes are modelled by event structures. An event structure consists …
[图书][B] Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995
J Desel - 2013 - books.google.com
This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT)
that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited …
that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited …
Higher dimensional automata revisited
V Pratt - Mathematical Structures in Computer Science, 2000 - cambridge.org
The dual of a true concurrency schedule appears to be a false concurrency automaton, a
paradox we resolved in a previous paper by extending the latter to higher dimensions. This …
paradox we resolved in a previous paper by extending the latter to higher dimensions. This …