Communicating sequential processes
Communicating sequential processes
A theoretical basis for stepwise refinement and the programming calculus
Science of Computer Programming
Beauty is our business
The Z notation: a reference manual
The Z notation: a reference manual
Specification and proof in real-time CSP
Specification and proof in real-time CSP
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
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
A Discipline of Programming
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Non-Interference Through Determinism
ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security
How to Combine Z with Process Algebra
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Refinement of State-Based Concurrent Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
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
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The Steam Boiler in a Unified Theory of Z and CSP
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Towards a Time Model for Circus
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Trends in system safety: a European view?
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
Science of Computer Programming
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Specifying and analyzing security automata using CSP-OZ
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
A Denotational Semantics for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Checking Circus Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Mechanised Translation of Control Law Diagrams into Circus
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Efficient symbolic computation of process expressions
Science of Computer Programming
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique
Electronic Notes in Theoretical Computer Science (ENTCS)
Angelic Nondeterminism and Unifying Theories of Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating Time and Resource into Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Slicing concurrent real-time system specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Slotted-circus: a UTP-family of reactive theories
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Decomposing integrated specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A denotational semantics for Handel-C
Formal methods and hybrid real-time systems
A timeband framework for modelling real-time systems
Real-Time Systems
UTP and temporal logic model checking
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Unifying theories of interrupts
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A CSP approach to control in event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Software—Practice & Experience
The modelling and analysis of ocean store elements using the CSP dependability library
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Use case scenarios as verification conditions: event-B/flow approach
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
The semantics and tool support of OZTA
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Slicing an integrated formal method for verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Constructing property-oriented models for verification
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A framework for specification and validation of real-time systems using circus actions
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Three perspectives in formal engineering
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Taking our own medicine: applying the refinement calculus to state-rich refinement model checking
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Combining CSP and b for specification and property verification
FM'05 Proceedings of the 2005 international conference on Formal Methods
Operational semantics for model checking circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
Control law diagrams in circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
A semantics for UML-RT active classes via mapping into circus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Refinement of EB3 process patterns into B specifications
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Synthesizing b specifications from EB3 attribute definitions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Building a modal interface theory for concurrency and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
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
A tool chain for the automatic generation of circus specifications of simulink diagrams
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Behaviour-Based cheat detection in multiplayer games with event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
A systematic approach to atomicity decomposition in event-b
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Simulink timed models for program verification
Theories of Programming and Formal Methods
Hi-index | 0.00 |
Circus is a concurrent language for refinement; it is a unification of imperative CSP, Z, and the refinement calculus. We describe the language of Circus and the formalisation of its model in Hoare & He's unifying theories of programming.