Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
IEEE Transactions on Software Engineering
Refinement and state machine abstraction
Theoretical Computer Science
Comparing refinements for failure and bisimulation semantics
Fundamenta Informaticae
A Single Complete Refinement Rule for Demonic Specifications
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Relating state-based and behaviour-oriented subtyping
Nordic Journal of Computing
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement of models of software components
Proceedings of the 2010 ACM Symposium on Applied Computing
On hierarchically developing reactive systems
Information and Computation
Incompleteness of relational simulations in the blocking paradigm
Science of Computer Programming
Verification architectures: compositional reasoning for real-time systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Non-atomic refinement in z and CSP
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Model transformations incorporating multiple views
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Of probabilistic wp and CSP - and compositionality
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Refinement and consistency in component models with multiple views
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Comparing Refinements for Failure and Bisimulation Semantics
Fundamenta Informaticae
Rational Processes And Linear Systems In Gsp
Fundamenta Informaticae
| Hi-index | 0.00 |