15 citations · 22 across the 4 of their papers we have counts for
3 papers · 1 filter
Modal Logics for Nominal Transition Systems
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson +2
We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary lo…
A Session Type System for Asynchronous Unreliable Broadcast Communication
Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea +1
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assum…
A Sorted Semantic Framework for Applied Process Calculi
Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow +2
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondetermi…