( en | de | ru )

 

Disambiguierung von "de Roever, Willem P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.

. MFCS, Volume 45 von Lecture Notes in Computer Science, Seite 472-481. Springer, (1976)

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.

Otto Roever

Otto Roever

Otto Roever

Paul Roever

Michael Roever

 

Weitere Publikationen von Autoren mit dem selben Namen

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language., , und . POPL, Seite 223-237. ACM Press, (1987)Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.. MFCS, Volume 45 von Lecture Notes in Computer Science, Seite 472-481. Springer, (1976)Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development., , , , und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 595-608. Springer, (1996)Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract)., , und . MFCS, Volume 64 von Lecture Notes in Computer Science, Seite 191-200. Springer, (1978)The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes., , und . MFCS, Volume 1672 von Lecture Notes in Computer Science, Seite 343-353. Springer, (1999)Process Constructors and Interpretations - Response.. IFIP Congress, Seite 515-518. North-Holland/IFIP, (1986)Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency., , und . FSTTCS, Volume 1346 von Lecture Notes in Computer Science, Seite 267-283. Springer, (1997)A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract)., und . ICDCS, Seite 440-447. IEEE Computer Society, (1987)A Proof System for Communicating Sequential Processes., , und . ACM Trans. Program. Lang. Syst., 2 (3): 359-385 (1980)Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract)., und . WDAG, Volume 392 von Lecture Notes in Computer Science, Seite 242-253. Springer, (1989)