Rob van Glabbeek, Ursula Goltz  Home/Search
Context Related
| stanford.edu/pub/refinement.ps.gz 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: stanford.edu/abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper combines and extends the material of [GG-a/c/d/e], except for the part in [GG-c] on refinement of transitions in Petri nets and the discussion of TCSP-like parallel composition in [GG-e]. An informal presentation of some basic ingredients of this paper appeared as [GG-b]. Among others, the treatment of action refinement in stable and non-stable event structures is new. The research reported here was supported by Esprit project 432 (METEOR), Esprit Basic Research Action 3148 (DEMON),... (Update)
Context of citations to this paper: More
...can be achieved by renaming some of them to the internal, nonobservable action. As a refinement mechanism, action refinement techniques [7] can be applied by hand. Solutions Relevance for Case Study Generally, the presented case study is a one bulk unit that is hard to split...
.... or by [ r] S] the semantic substitution of the semantics of concrete processes r(a) for actions a in the semantics of S) [12, 18, 22, 35]. Hence, the basic assumption of these theories is that there is only one possible implementation for a given specification; in other...
Cited by: More
On Plain and Hereditary History-Preserving Bisimulation - Fröschle, Hildebrandt (1999) (Correct)
Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
Hereditary History Preserving Bisimilarity Is Undecidable - Jurdzinski, Nielsen (1999) (Correct)
Active bibliography (related documents): More All
2.9: Process Algebra with Action Dependencies - Rensink, Wehrheim (1999) (Correct)
1.7: Dependency-Based Action Refinement - Rensink, Wehrheim (1997) (Correct)
1.6: Vertical Implementation - Rensink, Gorrieri (2000) (Correct)
Similar documents based on text: More All
0.8: Well-behaved Flow Event Structures for Parallel Composition .. - van Glabbeek, Goltz (Correct)
0.3: Specification of Systems: Theory in Search for.. - Brinksma, Parrow.. (1994) (Correct)
0.2: Property Preserving Abstraction for - Software Verification Case (2003) (Correct)
Related documents from co-citation: More All
3: Communication and Concurrency (context) - Milner - 1989
2: ans of DYANA tools, http://www.first.gmd.de/~drtesy/publications/FormSpec/NS-MSU (context) - specification, Airborne et al. - 1999
2: Action Refinement - Gorrieri, Rensink - 2000
BibTeX entry: (Update)
Van Glabbeek, R.J., and Goltz, U. (1998), Refinement of Actions and Equivalence Notions for Concurrent Systems, Hildesheimer Informatik Bericht 6/98, Institut fuer Informatik, Universitaet Hildesheim. http://citeseer.ist.psu.edu/vanglabbeek98refinement.html More
@article{ vanglabbeek01refinement,
author = "Rob J. van Glabbeek and Ursula Goltz",
title = "Refinement of actions and equivalence notions for concurrent systems",
journal = "Acta Informatica",
volume = "37",
number = "4/5",
pages = "229-327",
year = "2001",
url = "citeseer.ist.psu.edu/vanglabbeek98refinement.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
484 A Calculus of Communicating Systems (context) - Milner - 1980
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland et al. - 1990
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
146 EATCS Monographs on Theoretical Computer Science (context) - Reisig, nets et al. - 1985
131 Modeling concurrency with partial orders (context) - Pratt - 1986
95 The linear time -- branching time spectrum (context) - van Glabbeek - 1990
91 Program development by stepwise refinement (context) - Wirth - 1971
78 Specification-oriented semantics for communicating processes (context) - Olderog, Hoare - 1986
75 On interprocess communication - Lamport - 1986
69 Information and Computation (context) - Joyal, Nielsen et al. - 1996
69 Causal trees (context) - Darondeau, Degano - 1989
57 Petri net models for algebraic theories of concurrency (context) - van Glabbeek, Vaandrager - 1987
52 Information and Computation (context) - Vogler, of et al. - 1996
49 Modular construction and partial order semantics of Petri ne.. (context) - Vogler - 1992
45 Towards action-refinement (context) - Aceto, Hennessy - 1993
36 Chu Spaces: A Model of Concurrency - Gupta - 1994
34 Modelling nondeterministic concurrent processes with event s.. (context) - Loogen, Goltz - 1991
29 Algebra of communicating processes (context) - Bergstra, Klop - 1986
29 Adding action refinement to a finite process algebra (context) - Aceto, Hennessy - 1994
27 Configuration structures - van Glabbeek, Plotkin - 1995
27 Analysis of Petri nets by stepwise refinements (context) - Valette - 1979
27 Chu spaces and their interpretation as concurrent objects - Pratt - 1995
26 Failures semantics based on interval semiwords is a congruen.. (context) - Vogler - 1991
24 Theoretical Computer Science (context) - Gischer, theory et al. - 1988
23 Action systems and action refinement in the development of p.. (context) - Janssen, Poel et al. - 1991
22 Propositional temporal logics and equivalences - Goltz, Kuiper et al. - 1992
20 A method for stepwise refinement and abstraction of Petri ne.. (context) - Suzuki, Murata - 1983
18 The algebra of communicating processes with empty process (context) - Vrancken - 1986
17 Flow event structures and flow nets (context) - Boudol - 1990
17 Theoretical Computer Science (context) - Vogler, action - 1993
17 Concurrent bisimulations in Petri nets (context) - Best, Devillers et al. - 1991
17 Axiomatising finite concurrent processes (context) - Hennessy - 1988
17 Models and Methods for Action Refinement (context) - Rensink - 1993
16 Refinement of actions in causality based models (context) - van Glabbeek, Goltz - 1990
16 The refinement theorem for ST-bisimulation semantics (context) - van Glabbeek - 1990
15 Testing equivalence for Petri nets with action refinement - Jategaonkar, Meyer - 1992
14 A simple definition for parallel composition of prime event .. (context) - Vaandrager - 1989
13 Department of Computer Science (context) - Moller, concurrency et al. - 1989
13 Department of Computer Science (context) - Langerak, Semantics et al. - 1992
13 truly concurrent (context) - Degano, De Nicola et al. - 1988
13 A causal operational semantics of action refinement (context) - Degano, Gorrieri - 1995
12 An algebra for process creation (context) - Baeten, Vaandrager - 1992
12 the semantics of concurrency: partial orders and transition .. (context) - Boudol, Castellani - 1987
12 Equivalences and refinement (context) - van Glabbeek, Goltz - 1990
12 Action-refinement (context) - Aceto - 1992
11 Behavior structures and nets (context) - Rabinovich, Trakhtenbrot - 1988
11 Atomicity and Transactions for Process Description Languages (context) - Gorrieri - 1991
11 Axiomatising STbisimulation equivalence - Busi, van Glabbeek et al. - 1994
11 Concurrent testing of processes (context) - Hennessy - 1995
11 Deciding history preserving bisimilarity (context) - Vogler - 1991
10 Top down design and the algebra of communicating processes (context) - Bergstra, Tucker - 1984
10 Methodological aspects of action refinement - Rensink - 1994
10 Comparing syntactic and semantic action refinement (context) - Goltz, Gorrieri et al. - 1996
9 Parametric action refinement - Wehrheim - 1994
9 From sequential layers to distributed processes (context) - Janssen, Zwiers - 1992
9 causal and mixed-ordering equivalence over stable event stru.. (context) - Aceto, preserving - 1992
9 Parallel product of event structures - Castellani, Zhang - 1997
9 Information and Computation (context) - Gorrieri, Laneve et al. - 1995
9 The difference between splitting in n and n (context) - van Glabbeek, Vaandrager - 1997
8 Interleaving semantics and action refinement with atomic cho.. - Czaja, van Glabbeek et al. - 1992
8 Failures semantics for a simple process language with refine.. (context) - Aceto, Engberg - 1991
8 A hierarchy of system descriptions via atomic linear refinem.. (context) - Gorrieri - 1992
7 An event-based SOS for a language with refinement - Rensink - 1995
7 Action refinement and property inheritance in systems of seq.. (context) - Huhn - 1996
7 Generalized OM-bisimulation (context) - Vogler - 1995
7 Maximality preserving bisimulation (context) - Devillers - 1992
6 Refinement in branching time semantics (context) - van Glabbeek, Weijland - 1989
6 Refinement of actions in event structures and causal trees (context) - Darondeau, Degano - 1993
6 Concurrency vs interleaving: an instructive example (context) - Castellano, De Michelis et al. - 1987
6 Action refinement as an implementation relation - Rensink, Gorrieri - 1997
6 and divergence (context) - Aceto, Hennessy et al. - 1992
6 General refinement and recursion operators for the Petri box.. (context) - Best, Devillers et al. - 1993
5 Specifying Reactive Systems with Action Dependencies --- Mod.. (context) - Wehrheim - 1996
5 Layered Design of Parallel Systems (context) - Janssen - 1994
5 Observational logics and concurrency models (context) - De Nicola, Ferrari - 1990
5 A Structuring Mechanism for Petri Nets (context) - Kiehn - 1989
5 Bisimulation semantics for concurrency with atomicity and ac.. (context) - de Bakker, de Vink - 1994
4 An explicit representation of equivalence classes of the his.. (context) - Vaandrager - 1989
4 About semantic action refinement (context) - Darondeau, Degano - 1991
4 Theoretical Computer Science (context) - Gorrieri, Marchetti et al. - 1990
4 Action refinement in LOTOS (context) - Courtiat, idouni - 1993
4 Step failure semantics and a complete proof system (context) - Taubner, Vogler - 1989
3 Dependency-based action refinement - Rensink, Wehrheim - 1997
3 Maximality preservation and the ST-idea for action refinemen.. (context) - Devillers - 1992
3 Protocol design by layered decomposition: A compositional ap.. (context) - Janssen, Zwiers - 1992
3 a la s'emantique du parall'elisme: Bisimulations pour le raf.. (context) - Cherief - 1992
3 Investigations of back and forth bisimulations on prime even.. (context) - Cherief - 1992
3 Bulletin of the European Association for Theoretical Compute.. (context) - Boudol, actions - 1989
3 Refinement and recursion in a high level Petri box calculus (context) - Devillers, Klaudel - 1995
2 Partial order semantics for refinement of actions -- neither.. (context) - van Glabbeek, Goltz - 1989
2 Modelling causality via action dependencies in branching tim.. - Goltz, Wehrheim - 1996
2 Towards hierarchical specification of systems: A proof syste.. (context) - Gorrieri, Montanari - 1990
2 Atomic refinement for process description languages (context) - Degano, Gorrieri - 1991
2 the Hierarchical Design of Distributed Systems (context) - Huhn - 1997
2 Raffinamento di azioni in linguaggi concorrenti (context) - Busi - 1993
2 or what is the power of the future perfect in program logics (context) - Bednarczyk, preserving - 1991
1 Flow event structures as a semantic model for a language wit.. (context) - Schreiber - 1991
1 A deadlock-sensitive congruence for action refinement (context) - van Glabbeek, Goltz - 1990
1 Full abstractness of an interleaving semantics for action re.. - de Bakker, de Vink - 1998
1 Causal testing - Goltz, Wehrheim - 1996
1 Information and Computation (context) - de Bakker, Zucker et al. - 1982
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://boole.stanford.edu/abstracts.html): More
Origins of the Calculus of Binary Relations - Pratt (1992) (Correct)
Branching Bisimulation as a Tool in the Analysis of Weak.. - van Glabbeek (1995) (Correct)
Action Logic and Pure Induction - Pratt (1991) (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