Formal methods for distributed processing
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
Computer Standards & Interfaces
Writing and executing ODP computational viewpoint specifications using Maude
Computer Standards & Interfaces
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
| Hi-index | 0.00 |