Essential transitions to bisimulation equivalences
Jaana Eloranta, Martti Tienari, Antti ValmariVolume:
179
Year:
1997
Language:
english
Pages:
23
DOI:
10.1016/s0304-3975(96)00281-2
File:
PDF, 1.57 MB
english, 1997