File(s) not publicly available
Bisimulations for a calculus of broadcasting systems.
journal contribution
posted on 2023-06-07, 22:38 authored by M Hennessy, J RathkeNo description supplied
History
Publication status
- Published
Journal
Theoretical Computer ScienceExternal DOI
Issue
1-2Volume
200Page range
225-260ISBN
0304-3975Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes