Questions tagged [process-algebras]
Process algebras (also known as process calculi) are formal models of concurrency
1
question
20
votes
3
answers
3k
views
When are two simulations not a bisimulation?
Given a labelled transition system $(S,\Lambda,\to)$, where $S$ is a set of states, $\Lambda$ is a set of labels, and $\to\subseteq S\times\Lambda\times S$ is a ternary relation. As usual, write $p \...
- 20.2k