Models and languages for parallel computation
ACM Computing Surveys (CSUR)
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Deriving Software Specifications from Event Based Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Incremental Proof of the Producer/Consumer Property for the PCI Protocol
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Fixpoint Theory for Non-monotonic Parallelism
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Techniques for the design of communicating processes
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
Generating diagnostic information for behavioral preorders
Distributed Computing
Concurrent program design in the extended theory of Owicki and Gries
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Modal Systems: Specification, Refinement and Realisation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Automatic generation of verified concurrent hardware
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
A formal approach for the development of reactive systems
Information and Software Technology
Patterns for refinement automation
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Simulation refinement for concurrency verification
Science of Computer Programming
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
Refinement-Based modeling of 3d nocs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
On fault tolerance reuse during refinement
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Combining Formal Methods for the Development of Reactive Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Pliant modalities in hybrid event-B
Theories of Programming and Formal Methods
Hi-index | 0.00 |