See this document in CiteSeerX!

Relating Distributed, Temporal and Causal Observations of Simple Processes  (Make Corrections)  
Luca Aceto



  Home/Search   Context   Related

 
View or download:
cs.auc.dk/~luca/PAPERS/causal.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.auc.dk/~luca/reports (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The noninterleaving equivalences that have been proposed in the literature may be roughly divided into three classes, depending on the kind of observational scenarios underlying them. Some of them distinguish parallelism from nondeterminism by admitting explicit observations of the causal structure of systems; some others are based on the observation of distribution and still others on the assumption that actions have duration. In general, these three observational scenarios give rise to... (Update)

Active bibliography (related documents):   More   All
1.0:   Equivalence Semantics for Concurrency: Comparison and Application - Galpin (1998)   (Correct)
0.6:   An Extensional Formulation of ST Bisimulation - Gorrieri, Laneve   (Correct)
0.4:   Some of My Favourite Results in Classic Process Algebra - Aceto (2003)   (Correct)

Similar documents based on text:   More   All
0.2:   Timing and Causality in Process Algebra - Aceto, Murphy (1992)   (Correct)
0.2:   Unicycling Helps Your French: Spontaneous Recovery of.. - Harvey, Stone (1995)   (Correct)
0.2:   False Vacuum Inflation - Copeland, Liddle, Al.   (Correct)

BibTeX entry:   (Update)

@misc{ aceto-relating,
  author = "Luca Aceto",
  title = "Relating Distributed, Temporal and Causal Observations of Simple Processes",
  url = "citeseer.ist.psu.edu/10497.html" }
Citations (may not include all citations):
906   A structural approach to operational semantics - Plotkin - 1981
502   Concurrency and automata on infinite sequences (context) - Park - 1981
447   Prentice-Hall International (context) - Milner, Concurrency - 1989
357   Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
322   volume 92 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
266   Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
254   Theoretical Computer Science (context) - Boudol, Castellani et al. - 1988
218   Process algebra for synchronous communication (context) - Bergstra, Klop - 1984
57   Petri net models for algebraic theories of concurrency (context) - van Glabbeek, Vaandrager - 1987
45   A theory of processes with localities (context) - Boudol, Castellani et al. - 1991
45   Towards action-refinement (context) - Aceto, Hennessy - 1989
35   Observation equivalence as a testing equivalence (context) - Abramsky - 1987
18   Distributed bisimulations (context) - Castellani, Hennessy - 1989
17   Axiomatising finite concurrent processes (context) - Hennessy - 1988
13   Department of Computer Science (context) - Moller, concurrency et al. - 1989
11   completeness with applications (context) - Groote, strategy et al. - 1990
11   Behavior structures and nets (context) - Rabinovich, Trakhtenbrot - 1988
9   Algebraic Techniques for Concurrency and Their Application (context) - Vaandrager - 1990
7   An extended expansion theorem (context) - Ferrari, Gorrieri et al. - 1991
5   Causal trees: interleaving + causality (context) - Darondeau, Degano - 1990
4   A proof system for weak ST-bisimulation over a finite proces.. (context) - Hennessy - 1991
3   An extended abstract appeared in: Proceedings ICALP 89 (context) - Darondeau, Degano et al. - 1988
2   Department of Computer Science (context) - Castellani, concurrency et al. - 1988

Documents on the same site (http://www.cs.auc.dk/~luca/reports.html):   More
Timing and Causality in Process Algebra - Aceto, Murphy (1992)   (Correct)
Decorated Trace Semantics over BPA have no Finite.. - Aceto, Fokkink..   (Correct)
Nonfinitely Based Tropical Semirings - Aceto, Ésik, Ingólfsdóttir   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC