( en | de | ru )

 

Disambiguierung von "Toninho, Bernardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fencing off go: liveness and safety for channel-based programming.

, , , und . POPL, Seite 748-761. ACM, (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.

Bernardo

Bernardo Fritzsche

Sergio Bernardo

Angelika Bernardo

Bernardo Fünfgeld

 

Weitere Publikationen von Autoren mit dem selben Namen

Depending on Session-Typed Processes., und . FoSSaCS, Volume 10803 von Lecture Notes in Computer Science, Seite 128-145. Springer, (2018)Corecursion and Non-divergence in Session-Typed Processes., , und . TGC, Volume 8902 von Lecture Notes in Computer Science, Seite 159-175. Springer, (2014)Towards concurrent type theory., , und . TLDI, Seite 1-12. ACM, (2012)On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings., und . CoRR, (2017)Intuitionistic Metric Temporal Logic., , und . PPDP, Seite 9:1-9:13. ACM, (2023)Manifest Deadlock-Freedom for Shared Session Types., , und . ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 611-639. Springer, (2019)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)Polymorphic Session Processes as Morphisms., und . The Art of Modelling Computational Systems, Volume 11760 von Lecture Notes in Computer Science, Seite 101-117. Springer, (2019)Certifying Data in Multiparty Session Types., und . A List of Successes That Can Change the World, Volume 9600 von Lecture Notes in Computer Science, Seite 433-458. Springer, (2016)Functions as Session-Typed Processes., , und . FoSSaCS, Volume 7213 von Lecture Notes in Computer Science, Seite 346-360. Springer, (2012)