Ramunas Gutkovas

12 papers B 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Session Type System for Asynchronous Unreliable Broadcast Communication.
Log. Methods Comput. Sci.
Dimitrios Kouzapas, Ramunas Gutkovas, Adriana Laura Voinea, Simon J. Gay
2021 J jnl
Modal Logics for Nominal Transition Systems.
Log. Methods Comput. Sci.
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2019 J jnl
A Session Type System for Asynchronous Unreliable Broadcast Communication.
CoRR
Dimitrios Kouzapas, Ramunas Gutkovas, Adriana Laura Voinea, Simon J. Gay
2019 J jnl
Modal Logics for Nominal Transition Systems.
CoRR
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2016 J jnl
A Sorted Semantic Framework for Applied Process Calculi.
Log. Methods Comput. Sci.
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
2016 — —
Languages, Logics, Types and Tools for Concurrent System Modelling.
Ramunas Gutkovas
2016 J jnl
Modal Logics for Nominal Transition Systems.
Arch. Formal Proofs
Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, Ramunas Gutkovas
2015 B conf
Modal Logics for Nominal Transition Systems.
CONCUR
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
2015 J jnl
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi.
ACM Trans. Embed. Comput. Syst.
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
2014 — conf
Session Types for Broadcasting.
PLACES
Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay
2013 — conf
A Parametric Tool for Applied Process Calculi.
ACSD
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
2013 — conf
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract).
TGC
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola