Treffer 1 - 20 von 33 für Suche 'Koutavas, Vasileios', Suchdauer: 0,74s Treffer weiter einschränken
  1. 1
    Distinguishing between communicating transactions

    Distinguishing between communicating transactions von Koutavas, Vasileios, Gazda, Maciej, Hennessy, Matthew

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    From CCS to CSP: the m-among-n Synchronisation Approach

    From CCS to CSP: the m-among-n Synchronisation Approach von Ekembe Ngondi, Gerard, Koutavas, Vasileios, Butterfield, Andrew


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    First-order reasoning for higher-order concurrency

    First-order reasoning for higher-order concurrency von Koutavas, Vasileios, Hennessy, Matthew


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    From Applicative to Environmental Bisimulation

    From Applicative to Environmental Bisimulation von Koutavas, Vasileios, Levy, Paul Blain, Sumii, Eijiro


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Translation of CCS into CSP, Correct up to Strong Bisimulation

    Translation of CCS into CSP, Correct up to Strong Bisimulation von Ngondi, Gerard Ekembe, Koutavas, Vasileios, Butterfield, Andrew


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Reverse Hoare Logic

    Reverse Hoare Logic von de Vries, Edsko, Koutavas, Vasileios


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    An Operational Semantics for Yul

    An Operational Semantics for Yul von Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence

    Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence von Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Towards Efficient Abstractions for Concurrent Consensus

    Towards Efficient Abstractions for Concurrent Consensus von Spaccasassi, Carlo, Koutavas, Vasileios


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

    Fully Abstract Normal Form Bisimulation for Call-by-Value PCF von Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Bisimulations for Untyped Imperative Objects

    Bisimulations for Untyped Imperative Objects von Koutavas, Vasileios, Wand, Mitchell


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    From CCS to CSP: the m-among-n Synchronisation Approach

    From CCS to CSP: the m-among-n Synchronisation Approach von Ngondi, Gerard Ekembe, Koutavas, Vasileios, Butterfield, Andrew

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

    From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques von Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Type-Based Analysis for Session Inference (Extended Abstract)

    Type-Based Analysis for Session Inference (Extended Abstract) von Albert, Elvira, Lanese, Ivan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    An Operational Semantics for Yul

    An Operational Semantics for Yul von Koutavas, Vasileios, Yu-Yang, Lin, Tzevelekos, Nikos

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence

    Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence von Koutavas, Vasileios, Yu-Yang, Lin, Tzevelekos, Nikos

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

    Fully Abstract Normal Form Bisimulation for Call-by-Value PCF von Koutavas, Vasileios, Yu-Yang, Lin, Tzevelekos, Nikos

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Locally Nameless Permutation Types

    Locally Nameless Permutation Types von de Vries, Edsko, Koutavas, Vasileios

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Type-Based Analysis for Session Inference

    Type-Based Analysis for Session Inference von Spaccasassi, Carlo, Koutavas, Vasileios

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Liveness of Communicating Transactions (Extended Abstract)

    Liveness of Communicating Transactions (Extended Abstract) von de Vries, Edsko, Koutavas, Vasileios, Hennessy, Matthew


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: