Browsing Fakultet for informasjonsteknologi og elektroteknikk (IE) by Journals "Electronic Proceedings in Theoretical Computer Science (EPTCS)"
Now showing items 1-1 of 1
-
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied Pi-Calculus
(Peer reviewed; Journal article, 2022)This paper shows how we can make use of an asynchronous transition system, whose transitions are labelled with events and which is equipped with a notion of independence of events, to define non-interleaving semantics for ...