Pages that link to "Item:Q1310916"
From MaRDI portal
The following pages link to On deciding trace equivalences for processes (Q1310916):
Displaying 8 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)
- Experimenting with process equivalence (Q1194327) (← links)
- On deciding readiness and failure equivalences for processes (Q1892874) (← links)
- Undecidable equivalences for basic parallel processes (Q2389334) (← links)
- (Q3681914) (← links)
- On deciding some equivalences for concurrent processes (Q4362275) (← links)
- Deciding bisimulation and trace equivalences for systems with many identical processes (Q6487976) (← links)