MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Refinement of Atomic Actions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Interleaving Semantics and Action Refinement with Atomic Choice
by Ingo Czaja, Rob J. Van Glabbeek, Ursula Goltz — 1991 — in “Advances in Petri Nets
…Interleaving Semantics and Action Refinement with Atomic Choice Ingo Czaja Gesellschaft fur…
Cited by 9 (1 self) – Add To MetaCart

Testing Equivalence for Petri Nets with Action Refinement
by Albert R. Meyer, Lalita Jategaonkar, Lalita Jategaonkar, Albert Meyer — 1992 — Concur '92, vol. 630 of LNCS
… of refining atomic actions in a concurrent process suggests aspects of top-down "modular" development and also…
Cited by 9 (0 self) – Add To MetaCart

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements
by Richard Banach, Czeslaw Jeske, Susan Stepney — 2006
… to the backward refinement, as it must, given that both are refinements of an atomic action to a non-atomic…
Cited by 8 (5 self) – Add To MetaCart

Observing "True" Concurrency
by Lalita Jategaonkar, Lalita Jategaonkar — 1993
… concepts such as non-atomic actions, action refinement, locality of actions, and multithreadedness. We…
Cited by 2 (0 self) – Add To MetaCart

Probabilities in Action Systems
by Kaisa Sere, Elena A. Troubitsyna — 1996 — In Proc. of the 8th Nordic Workshop on Programming Theory
… is introduced by superposition of action systems and refining of atomicity of actions [4]. The nondeterninistic…
Cited by 2 (1 self) – Add To MetaCart

The Semantics of the Combination of Atomized Statements and Parallel Choice
by Peter M.W. Knijnenburg, Joost N. Kok — 1998
…. For program development by atomic action refinement it is useful to have an atomizer: it allows us to refine…
Add To MetaCart

Stepwise Derivation of a Parallel Matrix Multiplication Algorithm
by J. von Wright — 1989
…. Parallelism can be further increased by refining the atomicity of the action system [Back88b]. Atomicity…
Cited by 1 (1 self) – Add To MetaCart

Writing and Correcting Textual Scenarios for System Design
by Camille Ben Achour, Camille Ben Achour — 1998 — In: Natural Language and Information Systems Workshop (NLIS’98
… structure and the action structure. As scenario actions are refined into atomic actions and flows…
Cited by 3 (0 self) – Add To MetaCart

Guiding Scenario Authoring
by C. Ben Achour, Camille Ben Achour — 1998 — In: 8 th EuropeanJapanese Conference on Information Modelling and Knowledge Bases
… between text structure and the action structure. Scenario actions are refined into atomic actions…
Cited by 12 (2 self) – Add To MetaCart

Vertical Implementation
by Arend Rensink, Roberto Gorrieri — 2001 — Information and Computation
… satisfy a number of intuitive sensibility criteria. Indeed, if a process t is to refine atomic action…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB