File(s) not publicly available
Contextual equivalence for higher-order pi-calculus revisited
journal contribution
posted on 2023-06-08, 00:12 authored by Alan Jeffrey, Julian RathkeNo description supplied
History
Publication status
- Published
Journal
Logical Methods in Computer ScienceExternal DOI
Issue
4Volume
1Page range
1-22Pages
0.0Department 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