A Parametric Tool for Applied Process Calculi. - Johannes Borgström; Ramunas Gutkovas; Ioana Rodhe; Björn Victor (ACSD, 2013)

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). - Johannes Borgström; Ramunas Gutkovas; Joachim Parrow; Björn Victor; Johannes Åman Pohjola (TGC, 2013)

Session Types for Broadcasting. - Dimitrios Kouzapas; Ramunas Gutkovas; Simon J. Gay (PLACES, 2014)

The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. - Johannes Borgström; Ramunas Gutkovas; Ioana Rodhe; Björn Victor (ACM Trans. Embed. Comput. Syst., 2015)

Modal Logics for Nominal Transition Systems. - Tjark Weber; Lars-Henrik Eriksson; Joachim Parrow; Johannes Borgström; Ramunas Gutkovas (Arch. Formal Proofs, 2016)

A Sorted Semantic Framework for Applied Process Calculi. - Johannes Borgström; Ramunas Gutkovas; Joachim Parrow; Björn Victor; Johannes Åman Pohjola (Log. Methods Comput. Sci., 2016)

Languages, Logics, Types and Tools for Concurrent System Modelling. - Ramunas Gutkovas (2016)

A Session Type System for Asynchronous Unreliable Broadcast Communication. - Dimitrios Kouzapas; Ramunas Gutkovas; A. Laura Voinea; Simon J. Gay (Log. Methods Comput. Sci., 2024)