Pages that link to "Item:Q1098279"
From MaRDI portal
The following pages link to On the analysis of cooperation and antagonism in networks of communicating processes (Q1098279):
Displaying 4 items.
- Deciding bisimulation and trace equivalences for systems with many identical processes (Q672063) (← links)
- CCS expressions, finite state processes, and three problems of equivalence (Q918211) (← links)
- Complexity analysis of propositional concurrent programs using domino tiling (Q3142002) (← links)
- Deciding bisimulation and trace equivalences for systems with many identical processes (Q6487976) (← links)
