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

From sequential layers to distributed processes: deriving a distributed minimum weight spanning tree algorithm

PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing

Refining knowledge oriented actions to layered implementations

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing

A design methodology for mobile distributed applications based on UNITY formalism and communication-closed layering

Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing

A trace transformation technique for communication refinement

Proceedings of the ninth international symposium on Hardware/software codesign

Vertical implementation

Information and Computation

DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Orders Semantics

Proceedings of the 13th International Symposium on Distributed Computing

Compositional Transformational Design for Concurrent Programs

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets

Wanted: a compositional approach to concurrency

Programming methodology

The Primordial Soup Algorithm: a systematic approach to the specification of parallel parsers

COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1

Causality and atomicity in distributed computations

Distributed Computing

The compositional approach to sequential consistency and lazy caching

Distributed Computing - Special issue: Verification of lazy caching

Safe composition of distributed programs communicating over order-preserving imperfect channels

IWDC'05 Proceedings of the 7th international conference on Distributed Computing

Non-atomic refinement in z and CSP

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Causing communication closure: safe program composition with Non-FIFO channels

DISC'05 Proceedings of the 19th international conference on Distributed Computing

Aggregation of transitions in marking graph generation based on maximality semantics for petri nets

VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems

Atomicity And Concurrency Control In Process Calculi

Fundamenta Informaticae

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems

Fundamenta Informaticae