File(s) not publicly available
Towards a theory of bisimulation for local names.
presentation
posted on 2023-06-08, 00:04 authored by Alan Jeffrey, Julian RathkeNo description supplied
History
Publication status
- Published
Publisher
Proceedings of the 14th Annual Symposium on Logic in Computer Science Trento. IEEE Computer Society Press.Page range
56-66Presentation Type
- paper
Event location
Proceedings of the 14th Annual Symposium on Logic in Computer Science Trento. IEEE Computer Society Press.Event type
conferenceDepartment affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC