Autor der Publikation

On the Verification of Open Distributed Systems

, und . Proceedings of the 1998 ACM Symposium on Applied Computing, Seite 532--540. ACM, (1998)
DOI: 10.1145/330560.330917

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Secure Implementation of Security Protocols., und . ESOP, Volume 2618 von Lecture Notes in Computer Science, Seite 144-158. Springer, (2003)Refinement-Based Verification of Device-to-Device Information Flow., , und . FMCAD, Seite 123-132. IEEE, (2021)Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution., , , , und . FMCAD, Seite 129-138. IEEE, (2022)A Case Study in Information Flow Refinement for Low Level Systems., , , , und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 54-79. Springer, (2022)Proving Trust in Systems of 2nd-Order Processes: Preliminary Results.. HICSS (7), Seite 255-264. IEEE Computer Society, (1998)Reasoning about Higher-Order Processes., und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 202-216. Springer, (1995)System Description: Verification of Distributed Erlang Programs., , , und . CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 38-41. Springer, (1998)Gossiping for threshold detection., , und . Integrated Network Management, Seite 259-266. IEEE, (2009)On the Decidability of Process Equivalences for the pi-calculus.. AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 169-183. Springer, (1995)CTL* and ECTL* as Fragments of the Modal µ-Calculus.. CAAP, Volume 581 von Lecture Notes in Computer Science, Seite 145-164. Springer, (1992)