Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences
Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Refinement with global equivalence proofs in temporal logic
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Membership algebra as a logical framework for equational specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
An Object-Oriented Airport: Specification and Refinement in Maude
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Relating Two Categorial Models of Term Rewriting
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Foundations of Actor Semantics
Foundations of Actor Semantics
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Modeling performance of a parallel streaming engine: bridging theory and costs
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Hi-index | 0.00 |
The increasing importance and ubiquity of distributed and mobile object systems makes it very desirable to develop rigorous semantic models and formal reasoning techniques to ensure their correctness. The concurrency model of rewriting logic has been extensively used by a number of authors to specify, execute, and validate concurrent object systems. This model is a true concurrency model, associating an algebra of proof terms TRo to the rewrite theory R specifying the desired system. The elements of TRo are concurrent computations described as proofs modulo an equational theory of proof/computation equivalence. This paper builds a very intuitive alternate model ER, also of a true concurrency nature, but based instead on the notion of concurrent events and a causality partial order between such events. The main result of the paper is the equivalence of these two models expressed as an isomorphism. Both models have straightforward extensions to similar models of infinite computations. The models are very general and can express both synchronous and asynchronous object computations. In the asynchronouscase the Baker-Hewitt eventmodel for actors appears as a special case of our model.