Refining Interactions in a Distributed System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Secure Interoperation of Secure Distributed Databases
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Relating CHAM Descriptions of Software Architectures
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Abstract Interactions and Interaction Refinement in Model-Driven Design
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
Hi-index | 0.00 |