Using a process algebra to control B OPERATIONS
From MaRDI portal
Recommendations
- Process Algebra
- Applications of Process Algebra
- scientific article; zbMATH DE number 937812
- scientific article; zbMATH DE number 139606
- A process algebra for predictible control systems
- An algebra of processes
- Communicating Sequential Processes. The First 25 Years
- Process algebra with recursive operations
- An algebra for process creation
Cited in
(13)- A UTP semantics for \textsf{Circus}
- Unifying theories in ProofPower-Z
- Interactive tool support for CSP \(\parallel\) B consistency checking
- scientific article; zbMATH DE number 2080013 (Why is no real title available?)
- scientific article; zbMATH DE number 2147035 (Why is no real title available?)
- Refinement-preserving plug-in components
- Stateflow diagrams in Circus
- A tactic language for refinement of state-rich concurrent specifications
- A semantics for behavior trees using CSP with specification commands
- Integrated Formal Methods
- From control law diagrams to Ada via \textsf{Circus}
- Testing for refinement in \textsf{Circus}
- A process algebraic framework for specification and validation of real-time systems
This page was built for publication: Using a process algebra to control B OPERATIONS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494259)
