## Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge (2004)

### Cached

### Download Links

- [arxiv.org]
- [arxiv.org]
- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- DBLP

### Other Repositories/Bibliography

by
Copyright C
,
Willem Jan Fokkink
,
Willem Jan Fokkink
,
Luca Aceto
,
Luca Aceto
,
Luca Aceto
,
Wan Fokkink
,
Anna Ingólfsdóttir
,
Anna Ingólfsdóttir
,
Bas Luttik
,
Bas Luttik
,
Bas Luttik

Venue: | Logical Methods in Computer Science |

Citations: | 4 - 4 self |