( en | de | ru )

 

Disambiguation of "Koutavas, Vasileios"

Author of the publication

copydeleteadd this publication to your clipboard
Bisimulations for Untyped Imperative Objects.

, and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 146-161. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vasileios Mavromatis

Vasileios Argyriou

Vasileios Theodorou

Vasileios Giotsas

Vasileios Petropoulos

 

Other publications of authors with the same name

First-order reasoning for higher-order concurrency., and . Comput. Lang. Syst. Struct., 38 (3): 242-277 (2012)Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence., , and . CoRR, (2023)Compositional verification of self-adaptive cyber-physical systems., , , and . SEAMS@ICSE, page 1-11. ACM, (2018)Self-adaptive automata., and . FormaliSE@ICSE, page 64-73. ACM, (2018)Bisimulations for Communicating Transactions - (Extended Abstract)., , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 320-334. Springer, (2014)Type-Based Analysis for Session Inference (Extended Abstract)., and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 248-266. Springer, (2016)Towards Efficient Abstractions for Concurrent Consensus., and . Trends in Functional Programming, volume 8322 of Lecture Notes in Computer Science, page 76-90. Springer, (2013)Limitations of Applicative Bisimulation (Preliminary Report)., , and . Modelling, Controlling and Reasoning About State, volume 10351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract)., and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 167-181. Springer, (2013)Liveness of Communicating Transactions (Extended Abstract)., , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 392-407. Springer, (2010)