The following pages link to (Q4472182):
Displaying 30 items.
- A denotational semantics for Handel-C (Q539165) (← links)
- Interface theories for concurrency and data (Q549177) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Refinement patterns for ASTDs (Q736838) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- A CSP model of Eiffel's SCOOP (Q2461537) (← links)
- Responsiveness and stable revivals (Q2642988) (← links)
- Three Approaches to Timed External Choice in UTP (Q2814612) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Semantic domains for Handel-C (Q2843615) (← links)
- Type checking \textsf{Circus} specifications (Q2873610) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- CSP with Hierarchical State (Q3605464) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR (Q6535952) (← links)
