15 citations · 22 across the 4 of their papers we have counts for
4 papers
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…
Session Types for Broadcasting
Dimitrios Kouzapas, Ramūnas Gutkovas, Simon J. Gay
Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure se…