Pages that link to "Item:Q5738963"
From MaRDI portal
The following pages link to Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement (Q5738963):
Displaying 9 items.
- Vertical implementation (Q1854462) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- An integrated approach for the specification and analysis of stochastic real-time systems (Q2842863) (← links)
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time (Q2870192) (← links)
- Static Livelock Analysis in CSP (Q3090843) (← links)
- A ground-complete axiomatisation of finite-state processes in a generic process algebra (Q3545273) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)
- (Q5856402) (← links)