See this document in CiteSeerX!

Equivalence Semantics for Concurrency: Comparison and Application (1998)  (Make Corrections)  
Vashti Christina Galpin



  Home/Search   Context   Related

 
View or download:
lfcs.inf.ed.ac.uk/...LFCS98397.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  lfcs.inf.ed.ac.uk/reports...index (more)
(Enter author homepages)

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

Abstract: Since the development of CCS and other process algebras, many extensions to these process algebras have been proposed to model different aspects of concurrent computation. It is important both theoretically and practically to understand the relationships between these process algebras and between the semantic equivalences that are defined for them. (Update)

Active bibliography (related documents):   More   All
1.1:   A Fully Abstract Semantics for Causality in the Pi-Calculus - Boreale, Sangiorgi (1995)   (Correct)
1.0:   Relating Distributed, Temporal and Causal Observations of Simple.. - Aceto   (Correct)
0.9:   Observing Distribution in Processes: Static and Dynamic Localities - Castellani (1994)   (Correct)

Similar documents based on text:   More   All
0.5:   Measuring Concurrency in CCS - Galpin   (Correct)
0.2:   Women in Computing around the World: an Initial Comparison of.. - Galpin   (Correct)
0.1:   Equivalence Semantics for Process Algebraic Language: Standard and.. - Kim (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ galpin-equivalence,
  author = "Vashti Christina Galpin",
  title = "Equivalence Semantics for Concurrency: Comparison and Application",
  url = "citeseer.ist.psu.edu/galpin98equivalence.html" }
Citations (may not include all citations):
1933   Communication and concurrency (context) - Milner - 1989
906   A structural approach to operational semantics - Plotkin - 1988
276   A compositional approach to performance modelling - Hillston - 1996
254   Theoretical Computer Science (context) - Boudol, Castellani et al. - 1994
186   A temporal calculus of communicating systems (context) - Moller, Tofts
182   Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992
155   Real time process algebra (context) - Baeten, Bergstra
129   An overview and synthesis on timed process algebras (context) - Nicollin, Sifakis
123   A congruence theorem for structured operational semantics wi.. - Baeten, Verhoef
123   A congruence theorem of structured operational semantics wit.. - Verhoef
100   Discrete time process algebra (context) - Baeten, Bergstra
84   Transition systems specifications with negative premises (context) - Groote - 1993
81   The linear time---branching time spectrum (context) - van Glabbeek
78   Specification-oriented semantics for communicating processes (context) - Olderog, Hoare - 1986
76   Real-time behaviour of asynchronous agents (context) - Yi
70   A process algebra for timed systems (context) - Hennessy, Regan
69   Causal trees (context) - Darondeau, Degano
69   Causal trees (context) - Darondeau, Degano
66   Categories of asynchronous systems (context) - Bednarczyk - 1987
64   Turning SOS rules into equations - Aceto, Bloom et al.
56   Lecture Notes in Computer Science (context) - Shyamasundar, FST
56   Lecture Notes in Computer Science (context) - Krieg-Bruckner, ESOP
56   Lecture Notes in Computer Science (context) - Tarlecki, MFCS
56   Lecture Notes in Computer Science (context) - Kuich, ICALP
53   Elementary transition systems (context) - Nielsen, Rozenburg et al. - 1992
50   Concurrent transition systems - Stark - 1989
47   Proved trees (context) - Degano, Priami
47   The meaning of negative premises in transition system specif.. (context) - Bol, Groote - 1996
46   Rewriting as a unified model of concurrency (context) - Meseguer
45   A theory of processes with localities (context) - Boudol, Castellani et al.
45   Towards action refinement (context) - Aceto, Hennessy
45   A non-interleaving semantics for CCS based on proved transit.. (context) - Boudol, Castellani - 1988
45   Syntax and defining equations for an interrupt mechanism in .. (context) - Baeten, Bergstra et al. - 1986
44   An operational semantics for Timed CSP - Schneider
41   A classification of models for concurrency (context) - Sassone, Neilsen et al.
41   A general conservative extension theorem (context) - Verhoef - 1994
37   A stochastic causalitybased process algebra - Brinksma, Katoen et al. - 1995
37   distributed operational semantic CC based conditionevent sys.. (context) - De Nicola, operational et al. - 1988
36   Higher-level synchronising devices in Meije-SCCS (context) - de Simone
35   An interleaving model for real-time systems (context) - Chen
33   Permutations of transitions: an event structure semantics fo.. (context) - Boudol, Castellani
29   Formal Techniques on Real-Time and Fault-Tolerant Systems (context) - Vytopil - 1991
29   Adding action refinement to a finite process algebra (context) - Aceto, Hennessy - 1994
28   Notes on algebraic calculi of processes (context) - Boudol
26   A survey of equivalence notions for net based systems (context) - Pomello, Rozenberg et al.
25   A partial ordering semantics for CCS (context) - Degano, De Nicola et al. - 1990
25   Information and Computation (context) - Nicollin, Sifakis et al. - 1994
25   Structural operational semantics for weak bisimulations (context) - Bloom
23   locations and asynchronous transition systems (context) - Mukund, Nielsen
23   A theory of processes with durational actions - Gorrieri, Roccetti et al. - 1995
23   Extensional equivalences for transition systems (context) - De Nicola - 1987
22   Formal Aspects of Computing (context) - Quemada, de Frutos et al. - 1993
22   Observing distribution (context) - Castellani
22   Observing distribution (context) - Castellani - 1995
22   The linear time---branching time spectrum II (context) - van Glabbeek
22   Science of Computer Programming (context) - Prasad, of et al. - 1995
21   A resource-based prioritized bisimulation for real-time syst.. - Gerber, Lee - 1994
21   Priority as extremal probability - Smolka, Steffen
21   Comparative concurrency semantics and refinement of actions (context) - van Glabbeek - 1990
21   Timing and causality (context) - Aceto, Murphy - 1996
20   Partial ordering descriptions and observations of nondetermi.. (context) - Degano, De Nicola et al.
20   A model of distributed systems based on graph rewriting (context) - Degano, Montanari - 1987
20   Lecture Notes in Computer Science (context) - Larsen, Skou et al.
19   Petri net models for algebraic theories of concurrency (context) - van Glabbeek, Vaandrager
18   Equivalences on observable processes - Ulidowski
18   Distributed bisimulations (context) - Castellani, Hennessy - 1989
17   Axiomatising finite concurrent processes (context) - Hennessy - 1988
17   Real space process algebra (context) - Baeten, Bergstra
17   A parametric approach to localities (context) - Montanari, Yankelevich
17   Real space process algebra (context) - Baeten, Bergstra
17   Flow models of distributed computations---three equivalent s.. (context) - Boudol, Castellani
16   CCS and Petri nets (context) - Goltz
16   Formal Techniques for Real-Time and Fault-Tolerant Systems (context) - Langmaack, de Roever et al.
15   Testing equivalence for Petri nets with action refinement - Jategaonkar, Meyer
15   Formal Aspects of Computing (context) - Aceto, view et al. - 1994
15   Department of Computer Science (context) - Chen, models et al. - 1993
15   an interleaving model for real-time systems (context) - Yi, time
14   A process algebra with distributed priorities - Cleaveland, Luttgen et al.
13   Observing localities (context) - Boudol, Castellani
13   Observing localities (context) - Boudol, Castellani et al. - 1991
13   Concurrent histories: a basis for observing distributed syst.. (context) - Degano, Montanari - 1987
13   A causal operational semantics of action refinement (context) - Degano, Gorrieri
13   Processes with probabilities (context) - Tofts - 1994
13   truly concurrent (context) - Degano, De Nicola et al.
13   Distributed CCS (context) - Krishnan
12   Embeddings among concurrent programming languages (context) - Shapiro
12   Toward the unification of models for concurrency (context) - Ferrari, Montanari
11   Comparing locality and causality based equivalences (context) - Kiehn - 1994
11   Lecture Notes in Computer Science (context) - Cleaveland, CONCUR - 1992
11   Concurrency and atomicity (context) - Boudol, Castellani
11   Concurrent testing of processes (context) - Hennessy
10   Deriving complete inference systems for a class of GSOS lang.. (context) - Aceto
10   Lecture Notes in Computer Science (context) - Jensen, th et al. - 1992
9   the decidability of non-interleaving process equivalences - Kiehn, Hennessy
9   Observing located concurrency (context) - Murphy
9   Non interleaving process algebra (context) - Baeten, Bergstra
8   Translating timed process algebra into prioritzed process al.. (context) - Jeffrey
8   Read-write causality (context) - Priami, Yankelvich
8   Universal axioms for bisimulations (context) - Degano, De Nicola et al. - 1993
8   Information and Computation (context) - Camilleri, Winskel et al.
8   Place bisimulations in Petri nets (context) - Autant, Schnoebelen
8   Lecture Notes in Computer Science (context) - Pitt, Rydeheard et al.
7   Equivalences and refinement (context) - van Glabbeek, Goltz
7   An extended expansion theorem (context) - Ferrari, Gorrieri et al.
7   Bounded nondeterminism and the approximation induction princ.. (context) - van Glabbeek
6   The connection between event structure semantics and an oper.. (context) - Baier, Majster-Cederbaum
6   Transition systems with algebraic structure as models of com.. (context) - Corradini, Ferrari et al.
6   the relationship of CCS and Petri nets (context) - Goltz, Mycroft
6   Automatizing parametric reasoning on distributed concurrent .. (context) - Inverardi, Priami et al. - 1994
6   Split and ST bisimulation semantics - Gorrieri, Laneve
5   Location equivalence in a parametric setting (context) - Montanari, Yankelevich
5   Comparative transition system semantics (context) - Fernando
4   Distribution and locality of concurrent systems (context) - Corradini, De Nicola
4   Distributed bisimulations for finite CCS (context) - Kiehn - 1989
4   Lecture Notes in Computer Science (context) - Albert, Monien et al. - 1991
4   Some equivalence notions for concurrent systems---an overvie.. (context) - Pomello
4   branching time and partial orders in logics and models for c.. (context) - de Bakker, de Roever et al. - 1988
4   Locality and interleaving semantics in calculi for mobile pr.. (context) - Sangiorgi
4   A proof system for weak ST-bisimulation over a finite proces.. (context) - Hennessy - 1991
4   Observing processes (context) - Hennessy
4   bisimulations for CCS agents (context) - Gorrieri, Laneve et al.
4   Testing equivalences for event structures (context) - Aceto, De Nicola et al.
4   A conditional operator for CCS (context) - Camilleri
4   Distributed bisimulation for finite CCS (context) - Kiehn
3   Lecture Notes in Computer Science (context) - Bloom, Istrail et al. - 1993
3   Verification and comparison of transition systems (context) - Arnold
3   Lecture Notes in Computer (context) - Nielsen, Schmidt et al.
3   On causality observed incrementally (context) - Ferrari, Montanari et al.
3   Extended transition systems for parametric bisimulation (context) - Inverardi, Priami et al.
3   Lecture Notes in Computer (context) - Etiemble, Syre et al.
3   Observational structures and their logic (context) - Astesiano
3   Lecture Notes in Computer Science (context) - Paredaens, ICALP
3   Real time process algebra with infinitesimals (context) - Baeten, Bergstra
3   A semantics for multiprocessor systems - Krishnan
3   Lecture Notes in Computer Science (context) - Baeten, Groote et al. - 1991
3   Lecture Notes in Computer Science (context) - Best, CONCUR - 1993
3   Foundations of Software Technology and Theoretical Computer .. (context) - Thiagarajan
3   Lecture Notes in Computer Science (context) - de Bakker, HUizing et al.
3   Lecture Notes in Computer (context) - Baeten, Klop et al.
3   of Nato ASI Series (context) - Apt, Logics et al. - 1984
3   Event structures for CCS and related languages (context) - Winskel
3   Lecture Notes in Computer Science (context) - Arnold, CAAP
2   GSOS and finite labelled transition systems (context) - Aceto
2   Proof systems for cause based equivalences (context) - Kiehn
2   experiments and agents: a comprehensive approach to parallel.. (context) - Kasangian, Labella et al.
2   Lecture Notes in Computer Science (context) - Jonsson, Parrow et al. - 1994
2   Algebra of Communicating Processes (context) - Ponse, Verhoef et al. - 1995
2   Priority and abstraction (context) - Natarajan, Christoff et al.
2   Bisimulation for models in concurrency (context) - Nielsen, Clausen
2   CPO models for compact GSOS languages (context) - Aceto, Ing'olfsd'ottir
2   Department of Computer Science (context) - Castellani, concurrency et al. - 1988
2   Lecture Notes (context) - Abramsky, Maibaum et al.
2   Bisimulation of automata (context) - Benson, Ben-Shachar
2   Lecture Notes (context) - Abramsky, Maibaum et al.
2   Strong bisimilarity on nets: a new concept for comparing net.. (context) - Olderog
2   betting and timed true concurrency (context) - Murphy
2   Observation trees (context) - Degano, De Nicola et al.
2   Experiments on processes with backtracking (context) - Schnoebelen
1   A linear time algebra (context) - Jeffrey
1   An algebraic characterisation of observation equivalence (context) - Arnold, Castellani
1   and complete axiomatisations for probabilitics processes (context) - Jou, Smolka et al.
1   A complete axiomatisation of timed bisimulation for a class .. (context) - Aceto, Jeffrey
1   Vidal-Naquet (context) - Brandenburg
1   Lecture Notes in Computer Science (context) - Borzyszkowski, Sokolowski et al. - 1993
1   A semantic characterisation for faults in replicated systems - Krishnan
1   Formal Aspects of Computing (context) - Krishnan - 1996
1   Lecture Notes in Computer (context) - Abiteboul, Shamir et al.
1   Participants' proceedings of NAPAW (context) - Purushothaman, Zwarico - 1992
1   Congruent weak bisimulation with dense real-time (context) - Ho-Stuart, Zedan - 1993
1   Lecture Notes (context) - Pr, Rovan et al.
1   Localitty based semantics for process algebras (context) - Corradini, De Nicola - 1997
1   Semantics of Systems of Concurrent Processes (context) - Guessarian - 1990
1   A causality-based semantics for CCS (context) - da, Courtiat
1   Representing CCS programs by finite predicate nets (context) - Taubner
1   Modeling real-time behaviour with an interval time calculus (context) - Daniels
1   Propositional temporal logics and eqivalences (context) - Goltz, Kuiper et al.
1   Lecture Notes (context) - Gaudel, Jouannaud et al.
1   Ntyftnyxt rule reduce to ntree rule (context) - Fokkink, nyxt et al.
1   Dynamic concurrent processes (context) - Fanchon
1   Lecture Notes (context) - Lingas, Karlsson et al.
1   A logic from distributed transition systems (context) - Lodaya, Ramanujam et al.
1   Lecture Notes in Computer (context) - Montanari, Sassone et al.
1   Compositional verificaton of probabilistic processes (context) - Larsen, Skou
1   A true concurrency model of CCS semantics (context) - Lu
1   Lecture Notes in Computer Science (context) - Ausiello, Dezani-Ciancaglini et al. - 1989
1   Symposuim on Logical Foundations of Computer Science (context) - Nerode, Taitslin - 1992
1   An algebraic characterisation of transition system equivalen.. (context) - Arnold, Dicky - 1989
1   Fault-tolerant bisimulations and process transformations - Janowski
1   The observation algebra of spatial pomsets (context) - Ferrari, Montanari
1   Abstract timed observation and process algebra (context) - Jeffrey
1   An algebraic view of interleaving and distributed operationa.. (context) - Montanari, Yankelevich

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