Vasileios Koutavas

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6190868	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	2023-05-26	Paper
Distinguishing between communicating transactions	2018-03-21	Paper
Small bisimulations for reasoning about higher-order imperative programs	2017-08-21	Paper
Type-Based Analysis for Session Inference (Extended Abstract)	2016-10-19	Paper
From Applicative to Environmental Bisimulation	2016-07-15	Paper
Bisimulations for Communicating Transactions	2014-04-16	Paper
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation	2013-08-12	Paper
First-order reasoning for higher-order concurrency	2012-10-25	Paper
Reverse Hoare Logic	2011-10-28	Paper
A Testing Theory for a Higher-Order Cryptographic Language	2011-05-19	Paper
Communicating Transactions	2010-08-31	Paper
Programming Languages and Systems	2007-05-02	Paper

This page was built for person: Vasileios Koutavas