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
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC