( en | de | ru )

 

Disambiguierung von "Toninho, Bernardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Manifest Deadlock-Freedom for Shared Session Types.

, , und . ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 611-639. Springer, (2019)

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.

Bernardo

Bernardo Fritzsche

Sergio Bernardo

Angelika Bernardo

Bernardo Fünfgeld

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards concurrent type theory., , und . TLDI, Seite 1-12. ACM, (2012)Corecursion and Non-divergence in Session-Typed Processes., , und . TGC, Volume 8902 von Lecture Notes in Computer Science, Seite 159-175. Springer, (2014)Depending on Session-Typed Processes., und . FoSSaCS, Volume 10803 von Lecture Notes in Computer Science, Seite 128-145. Springer, (2018)Manifest Deadlock-Freedom for Shared Session Types., , und . ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 611-639. Springer, (2019)Intuitionistic Metric Temporal Logic., , und . PPDP, Seite 9:1-9:13. ACM, (2023)On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings., und . CoRR, (2017)Ferrite: A Judgmental Embedding of Session Types in Rust., , und . ECOOP, Volume 222 von LIPIcs, Seite 22:1-22:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Dependent session types via intuitionistic linear type theory., , und . PPDP, Seite 161-172. ACM, (2011)Higher-Order Processes, Functions, and Sessions: A Monadic Integration., , und . ESOP, Volume 7792 von Lecture Notes in Computer Science, Seite 350-369. Springer, (2013)Certifying data in multiparty session types., und . J. Log. Algebraic Methods Program., (2017)