The following pages link to CONCUR 2005 – Concurrency Theory (Q5897487):
Displayed 9 items.
- Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- Product line process theory (Q898612) (← links)
- Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time (Q2870192) (← links)
- A Context-Free Process as a Pushdown Automaton (Q3541013) (← links)
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems (Q3599065) (← links)
- A Basic Parallel Process as a Parallel Pushdown Automaton (Q5170665) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- (Q5856402) (← links)