Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
The RAISE specification language
The RAISE specification language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modal and temporal logics for processes
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Communication and Concurrency
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
On the formal specification and verification of network routing algorithms
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
An Improved Recipe for Specifying Reactive Systems in Z
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Specifying & Verifying Concurrent Systems Using Z
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Extending Z with State Transition Constraints
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
IEEE Transactions on Software Engineering
An Overview of Mobile Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Type Checking Circus Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Unifying theories in proofpower-z
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Isabelle/circus: a process specification and verification environment
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
| Hi-index | 0.00 |
Presents a formal method which combines the Z notation and value-passing CCS (Calculus of Communicating Systems) for specifying concurrent systems. In order to provide a sound theoretical basis for the method, the state-based semantics for value-passing CCS is given. The main characteristic of the semantics is its ability in describing the evolution of processes and transitions of states simultaneously. We also present a Hennessy-Milner logic based on that semantics, which enables us to express properties such as liveness and safety ascribed both to states and to actions.