Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach

A new notion of refinement and several other new operators are proposed that allow for a compositional algebraic characterization of action systems and serializability in distributed database systems. A simple design language is introduced and is provided with a semantics essentially based on partial order models.

[1]  Zohar Manna,et al.  Verification of concurrent programs, Part I: The temporal framework , 1981 .

[2]  Nissim Francez,et al.  Decomposition of Distributed Programs into Communication-Closed Layers , 1982, Sci. Comput. Program..

[3]  Pierre A. Humblet,et al.  A Distributed Algorithm for Minimum-Weight Spanning Trees , 1983, TOPL.

[4]  Amir Pnueli,et al.  Now you may compose temporal logic specifications , 1984, STOC '84.

[5]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[6]  Doron A. Peled,et al.  Interleaving set temporal logic , 1987, PODC '87.

[7]  C. A. R. Hoare,et al.  The Weakest Prespecification , 1987, Information Processing Letters.

[8]  Glynn Winskel,et al.  An introduction to event structures , 1988, REX Workshop.

[9]  Rocco De Nicola,et al.  Partial orderings descriptions and observations of nondeterministic concurrent processes , 1988, REX Workshop.

[10]  Kim S. Larsen,et al.  Fully abstract models for a process language with refinement , 1988, REX Workshop.

[11]  Haim Gaifman,et al.  Modeling concurrency by partial orders and nonlinear transition systems , 1988, REX Workshop.

[12]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[13]  K. Mani Chandy.  Parallel program design , 1989 .

[14]  Willem P. de Roever,et al.  Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract) , 1989, WDAG.

[15]  Lucia Pomello,et al.  Refinement of Concurrent Systems Based on Local State Transformations , 1989, REX Workshop.

[16]  Ursula Goltz,et al.  Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) , 1989, MFCS.

[17]  Willem P. de Roever,et al.  Predicates are predicate transformers: a unified compositional theory for concurrency , 1989, PODC '89.

[18]  Glynn Winskel,et al.  An Introduction to Event Structures , 1989 .

[19]  Jozef Hooman,et al.  Specification and Compositional Verification of Real-Time Systems , 1991, Lecture Notes in Computer Science.