The following pages link to CSP with Hierarchical State (Q3605464):
Displaying 10 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- Test generation from state based use case models (Q736788) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- Next-preserving branching bisimulation (Q2355689) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- (Q4963900) (← links)
- Imperative process algebra and models of parallel computation (Q6580081) (← links)