( en | de | ru )

 

Disambiguierung von "Scalas, Alceste"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifiable abstractions for contract-oriented systems.

, , , und . J. Log. Algebraic Methods Program., 86 (1): 159-207 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Scalas, Alceste
Eine Person hinzufügen mit dem Namen Scalas, Alceste
 

Weitere Publikationen von Autoren mit dem selben Namen

On the Preciseness of Subtyping in Session Types., , , und . CoRR, (2016)Precise subtyping for asynchronous multiparty sessions., , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-28 (2021)The LTS WorkBench., und . ICE, Volume 189 von EPTCS, Seite 86-98. (2015)A Semantic Deconstruction of Session Types., , und . CONCUR, Volume 8704 von Lecture Notes in Computer Science, Seite 402-418. Springer, (2014)Lightweight session programming in scala, und . 30th European Conference on Object-Oriented Programming, ECOOP 2016, Volume 56 von 30th European Conference on Object-Oriented Programming (ECOOP 2016), Seite 21:1--21:28. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2016)P4R-Type: A Verified API for P4 Control Plane Programs., , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 1935-1963 (Oktober 2023)On the Monitorability of Session Types, in Theory and Practice (Artifact)., , und . Dagstuhl Artifacts Ser., 7 (2): 02:1-02:3 (2021)Towards Probabilistic Session-Type Monitoring., , , , und . COORDINATION, Volume 12717 von Lecture Notes in Computer Science, Seite 106-120. Springer, (2021)Behavioural Types for Heterogeneous Systems (Position Paper)., , , , , und . CoRR, (2024)Precise subtyping for synchronous multiparty sessions., , , , und . J. Log. Algebraic Methods Program., (2019)