Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Decomposing Real-Time Specifications
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Modelling Coordinated Atomic Actions in Timed CSP
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
An Operational Semantics for Timed RAISE
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Evaluating real-time software specification languages
Computer Standards & Interfaces
Phased development of critical real-time systems in timed CSP
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Extending Object-Z for Specifying Real-Time Systems
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Viewcharts: Syntax and Semantics
Informatica
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
A reasoning method for timed CSP based on constraint solving
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
A CSP model for hybrid automata
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Theoretical Computer Science
Hi-index | 0.00 |