Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på tidsskrift "Electronic Proceedings in Theoretical Computer Science (EPTCS)"
Viser treff 1-1 av 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 ...