Vasileios Koutavas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From CCS to CSP: the \(m\)-among-\(n\) synchronisation approach (available as arXiv preprint)	2024-02-06	Paper
From CCS to CSP: the \(m\)-among-\(n\) synchronisation approach	2024-02-06	Paper
From bounded checking to verification of equivalence via symbolic up-to techniques	2024-02-01	Paper
Translation of CCS into CSP, correct up to strong bisimulation Software Engineering and Formal Methods	2023-05-26	Paper
Distinguishing between communicating transactions Information and Computation	2018-03-21	Paper
Small bisimulations for reasoning about higher-order imperative programs Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-08-21	Paper
Type-Based Analysis for Session Inference (Extended Abstract) Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
Type-Based Analysis for Session Inference (Extended Abstract) Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
From applicative to environmental bisimulation Electronic Notes in Theoretical Computer Science	2016-07-15	Paper
Bisimulations for communicating transactions (extended abstract) Lecture Notes in Computer Science	2014-04-16	Paper
Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract) CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
First-order reasoning for higher-order concurrency Computer Languages, Systems & Structures	2012-10-25	Paper
Reverse Hoare logic Software Engineering and Formal Methods	2011-10-28	Paper
A Testing Theory for a Higher-Order Cryptographic Language Programming Languages and Systems	2011-05-19	Paper
Communicating transactions (extended abstract) CONCUR 2010 - Concurrency Theory	2010-08-31	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-05-02	Paper

Research outcomes over time

This page was built for person: Vasileios Koutavas