Specification and refinement using a heterogeneous notation for concurrency and communication
From MaRDI portal
Recommendations
- Specification and verification of concurrent programs through refinements
- A specification logic for concurrent object-oriented programming
- Formal Specification of Concurrent Systems: A Structured Approach
- Concurrent specifications beyond linearizability
- scientific article; zbMATH DE number 3926215
- Specification-oriented semantics for communicating processes
- A functional programming approach to the specification and verification of concurrent systems
- Integrated Formal Methods
- A formal system for specification analysis of concurrent programs
Cited in
(5)- Heterogeneous notations for pure formal method integration
- Extending interface automata with Z notation
- A framework for the specification of reactive and concurrent systems in Z
- A modular framework for the integration of heterogeneous notations and tools
- Composition nominative approach to specifying program systems in Z-Notation language
This page was built for publication: Specification and refinement using a heterogeneous notation for concurrency and communication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494254)
