Ramunas Gutkovas

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

Collaborative distances:

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

2021

Modal Logics for Nominal Transition Systems.

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

Log. Methods Comput. Sci., 2021

2019

A Session Type System for Asynchronous Unreliable Broadcast Communication.

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

CoRR, 2019

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

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