Communicating sequential processes
Communicating sequential processes
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
The existence of refinement mappings
Theoretical Computer Science
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
The Object-Z specification language
The Object-Z specification language
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
Process-Algebraic Foundations of Aspect-Oriented Programming
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Consistency and Refinement for Partial Specification in Z
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Composition in Multiparadigm Specification Techniques
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A foundation for actor computation
Journal of Functional Programming
Combining Graphical and Formal Development of Open Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
A Verification System for Distributed Objects with Asynchronous Method Calls
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating Behavioral Component Interfaces in Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A system for compositional verification of asynchronous objects
Science of Computer Programming
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
| Hi-index | 0.00 |
Model checking techniques have been an effective means for finding subtle defects in hardware designs and communication protocols. The increased use of concurrent software in embedded applications and the widespread adoption of Java with its built-in ...