The following pages link to Ian J. Hayes (Q172105):
Displayed 50 items.
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- (Q700975) (redirect page) (← links)
- Reasoning about real-time repetitions: Terminating and nonterminating (Q700976) (← links)
- Linear approximation of execution-time constraints (Q706493) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Procedures and parameters in the real-time program refinement calculus (Q858908) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- VDM and Z: A comparative case study (Q1184684) (← links)
- Multi-relations in Z. A cross between multi-sets and binary relations (Q1186512) (← links)
- Expressive power of specification languages (Q1272765) (← links)
- Supporting contexts in program refinement (Q1370155) (← links)
- An introduction to Real-Time Object-Z. (Q1601245) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- (Q1903077) (redirect page) (← links)
- Specification by interface separation (Q1903078) (← links)
- Supporting module reuse in refinement (Q1924631) (← links)
- Encoding fairness in a synchronous concurrent program algebra (Q2024348) (← links)
- A formal semantics of the GraalVM intermediate representation (Q2147184) (← links)
- Cylindric Kleene lattices for program construction (Q2176678) (← links)
- An algebra of synchronous atomic steps (Q2281642) (← links)
- Developing an algebra for rely/guarantee concurrency: design decisions and challenges (Q2296292) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- A theory for execution-time derivation in real-time programs (Q2576947) (← links)
- (Q2703760) (← links)
- (Q2721094) (← links)
- (Q2766649) (← links)
- Don't Care Non-determinism in Logic Program Refinement (Q2841262) (← links)
- (Q2843912) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- (Q3045250) (← links)
- Refinement of Higher-Order Logic Programs (Q3079921) (← links)
- Probabilistic Choice in Refinement Algebra (Q3521991) (← links)
- Compositional Action System Derivation Using Enforced Properties (Q3575269) (← links)
- Unifying Theories of Programming That Distinguish Nontermination and Abort (Q3575272) (← links)
- Reasoning about Loops in Total and General Correctness (Q3585023) (← links)
- Invariants and Well-Foundedness in Program Algebra (Q3585039) (← links)
- CSP with Hierarchical State (Q3605464) (← links)
- Continuous Action System Refinement (Q3618830) (← links)
- Specification directed module testing (Q3694681) (← links)
- Laws of programming (Q3766810) (← links)
- Corrigenda: laws of programming (Q3799624) (← links)
- (Q4250651) (← links)
- (Q4250656) (← links)
- (Q4250673) (← links)