Formal methods for distributed processing
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
An Analysis of the OSI Systems Management Architecture from an ODP Perspective
SMW '96 Proceedings of the 2nd IEEE International Workshop on Systems Management (SMW'96)
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
Computer Standards & Interfaces
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
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
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
Electronic Notes in Theoretical Computer Science (ENTCS)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A dynamic class construct for asynchronous concurrent objects
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |