Luca Aceto  Home/Search
Context
Related
| cs.auc.dk/~luca/PAPERS/causal.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.auc.dk/~luca/reports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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