Published in
Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, (368), p. 3-22, 2022
DOI: 10.4204/eptcs.368.1
Links
Tools
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus
This paper is made freely available by the publisher.
Full text: Download
Data provided by 