Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
Assertional reasoning about pairwise transient interactions in mobile computing
Proceedings of the 18th international conference on Software engineering
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic Synchrony Among Atomic Actions
IEEE Transactions on Parallel and Distributed Systems
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Visual Presentation of Software Specifications and Designs
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
| Hi-index | 0.00 |