Arend Rensink  Home/Search
Context
Related
| cs.utwente.nl/~rensink/...CTIT0013.ps 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: wwwhome.cs.utwente...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The question we consider in this paper is: "When may a combination of (fine-grain) execution be contracted into an abstract (atomic) action execution"? Our answer is basically: "When no observer can see the di#erence." This is worked out in detail by defining a notion of so-called coupled splitting/contracting simulation between systems which di#er in the atomicity of their actions, and proving that this collapses to Parrow and Sjodin's coupled similarity when the systems are composed with an... (Update)
Similar documents (at the sentence level):
9.0%: Action Contraction - Rensink (2000) (Correct)
Active bibliography (related documents): More All
6.5: Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
0.9: Vertical Implementation - Rensink, Gorrieri (2000) (Correct)
0.6: Unknown - Atom Splitting In (Correct)
Similar documents based on text: More All
0.2: Towerds Model Checking Graph Grammars - Arend Rensink Department (Correct)
0.2: A Logic of Local Graph Shapes - Rensink (2003) (Correct)
0.2: Model Driven Architecture: Foundations and Applications - Rensink (2003) (Correct)
BibTeX entry: (Update)
@article{ rensink00action,
author = "Arend Rensink",
title = "Action Contraction",
journal = "Lecture Notes in Computer Science",
volume = "1877",
pages = "290--??",
year = "2000",
url = "citeseer.ist.psu.edu/article/rensink00action.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1209 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
854 Information and Computation (context) - Milner, Parrow et al. - 1992
407 Introduction to the ISO specification language LOTOS (context) - Bolognesi, Brinksma - 1987
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
204 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
182 Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992
139 Cambridge University Press (context) - Baeten, Weijland - 1990
109 Theoretical Computer Science (context) - Hennessy, Lin - 1995
69 Causal trees (context) - Darondeau, Degano - 1989
45 A theory of processes with localities (context) - Boudol, Castellani et al. - 1994
45 Towards action-refinement (context) - Aceto, Hennessy - 1993
41 Transformations and Semantics for LOTOS (context) - Langerak - 1992
36 Higher-level synchronising devices in Meije-SCCS (context) - De Simone - 1985
29 Adding action refinement to a finite process algebra (context) - Aceto, Hennessy - 1994
27 Ensuring relaxed atomicity for flexible transactions in mult.. - Zhang, Nodine et al. - 1994
26 Failures semantics based on interval semiwords is a congruen.. (context) - Vogler - 1991
24 Multiway synchronization verified with coupled simulation - Parrow, Sjodin - 1992
22 Data Management Systems (context) - Gray, Reuter et al. - 1993
20 Weak sequential composition (context) - Rensink, Wehrheim - 1994
19 Petri Net models for algebraic theories of concurrency (context) - van Glabbeek, Vaandrager - 1987
17 The complete axiomatization of Cs-congruence - Parrow, Sjodin - 1994
15 Formal Aspects of Computing (context) - Aceto, view et al. - 1994
15 Refining interfaces of communicating systems (context) - Brinksma, Jonsson et al. - 1991
15 A method for refining atomicity in parallel algorithms (context) - Back - 1989
14 Minimal transition systems for history-preserving bisimulati.. (context) - Montanari, Pistore - 1997
13 A causal operational semantics of action refinement (context) - Degano, Gorrieri - 1995
13 Relative serializability: An approach for relaxing the atomi.. - Krishnaswamy, Agrawal et al. - 1997
11 The linear time -- branching time spectrum II: The semantics.. - van Glabbeek - 1993
11 Interface refinement in reactive systems (context) - Gerth, Kuiper et al. - 1992
11 Concurrency and atomicity (context) - Boudol, Castellani - 1988
11 A theorem on atomicity in distributed algorithms - Lamport - 1990
10 Department of Computer Science (context) - Montanari, Pistore et al. - 1998
10 Methodological aspects of action refinement - Rensink - 1994
9 Information and Computation (context) - Gorrieri, Laneve et al. - 1995
9 part I --- a theory of interprocess communication (context) - Lamport, exclusion - 1986
9 Formal Aspects of Computing (context) - Anderson, Gouda et al. - 1992
8 Action refinement - Gorrieri, Rensink - 2000
8 A hierarchy of system descriptions via atomic linear refinem.. (context) - Gorrieri - 1992
7 Refinement with global equivalence proofs in temporal logic (context) - Katz - 1997
7 Refinement of actions and equivalence notions for concurrent.. - van Glabbeek, Goltz - 2000
5 bisimulation and full abstraction for refinement of actions (context) - Cherief, Schnoebelen - 1991
4 Vertical Bisimulation - Rensink, Gorrieri et al. - 2000
4 Refinement in branching time semantics (context) - van Glabbeek, Weijland - 1989
3 Process algebra with action dependencies - Rensink, Wehrheim - 1999
3 Atomicity refinement and trace reduction theorems - Gribomont - 1996
2 cient algorithms for checking the atomicity of a run of read.. (context) - Kirousis, Veneris - 1995
2 A model of behaviour abstraction for communicating processes - Koutny, Pappalardo - 1999
2 Information Processing Letters (context) - Sere, atomicity - 1996
2 CSS: Atomic actions for CCS (context) - Gorrieri, Marchetti et al. - 1990
2 Series in Data Management Systems (context) - Lynch, Merritt et al. - 1994
2 Hybrid atomicity for nested transactions - Fekete, Lynch et al. - 1995
1 erence between splitting in n and n (context) - van Glabbeek, Vaandrager - 1997
Documents on the same site (http://wwwhome.cs.utwente.nl/~rensink/publications.html): More
A Typed Functional Calculus with State - Rensink (1997) (Correct)
Weak Sequential Composition in Process Algebras - Rensink, Wehrheim (1994) (Correct)
Dependency-Based Action Refinement - Rensink, Wehrheim (1997) (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