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
Fourth International Conference on Formal methods for open object-based distributed systems IV
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Rewriting as a Unified Model of Concurrency
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Rewriting Logic and Maude: Concepts and Applications
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Conditional Rewriting Logic: Deduction, Models and Concurrency
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Principles of proof scores in CafeOBJ
Theoretical Computer Science
| Hi-index | 0.00 |