Download:
|
by Pedro R. D'argenio, Juan V. Echague, Luis R. Sierra Abbate
http://www.fing.edu.uy/~sierra/./Pub/localities.ps.gz
Add To MetaCart
Abstract:
In the framework of the so called true concurrency, the idea of causality has been widely studied [16, 15, 9, 7, 19]. Localities, an idea somehow orthogonal to causality, has become also interesting [1, 4, 5, 13, 14, 12]. Causality states which
Citations
|
684
|
Graph Theory
– Harary
- 1971
|
|
469
|
nets: an introduction
– Petri
- 1985
|
|
432
|
Symbolic model checking for real-time systems
– Henzinger, Nicollin, et al.
- 1994
|
|
369
|
Introduction to the ISO specification language LOTOS
– Bolognesi, Brinksma
- 1987
|
|
319
|
Graph Theory
– Diestel
- 1997
|
|
127
|
Petri nets, event structures and domains
– Nielsen, Plotkin, et al.
- 1981
|
|
85
|
Categories of asynchronous systems
– Bednarczyk
- 1988
|
|
45
|
A theory of processes with localities
– Boudol, Castellani, et al.
- 1994
|
|
35
|
Observing localities
– Boudol, Castellani, et al.
- 1993
|
|
35
|
Bisimulation and Action Refinement
– Vogler
- 1990
|
|
24
|
Partial orderings descriptions and observations of nondeterministic concurrent processes
– Degano, Nicola, et al.
- 1989
|
|
21
|
A static view of localities
– Aceto
- 1994
|
|
19
|
Deterministic asynchronous automata
– Shields
- 1985
|
|
14
|
Observing distribution in processes: Static and dynamic localities
– Castellani
- 1995
|
|
9
|
A parametric approach to localities
– Montanari, Yankelevich
- 1992
|
|
6
|
Location equivalence in parametric setting
– Montanari, Yankelevich
- 1995
|
|
5
|
Efficient minimization up to location equivalence
– Montanari, Pistore, et al.
- 1996
|
|
4
|
Comparative Concurrency Semantics and Refinement of Actions
– Glabbeek
- 1990
|
|
4
|
Parametric Views of Process Description Languages
– Yankelevich
- 1993
|
|
1
|
Retrieving spatial distribution from semantics
– Sierra
- 1998
|
