Ramunas Gutkovas

According to our database, Ramunas Gutkovas authored at least 8 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

A Session Type System for Asynchronous Unreliable Broadcast Communication.

Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay

Log. Methods Comput. Sci., 2024

2016

Languages, Logics, Types and Tools for Concurrent System Modelling.

Ramunas Gutkovas

PhD thesis, 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

Modal Logics for Nominal Transition Systems.

Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, Ramunas Gutkovas

Arch. Formal Proofs, 2016

2015

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

2014

Session Types for Broadcasting.

Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

2013

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract).

Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

A Parametric Tool for Applied Process Calculi.

Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013