Autor der Publikation

Protocol Assuring Universal Language.

, und . FMOODS, Volume 139 von IFIP Conference Proceedings, Seite 241-258. Kluwer, (1999)

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

A Correctness Proof of Sorting by Means of Formal Procedures.. Sci. Comput. Program., 9 (3): 263-269 (1987)Ranking Query Results using Context-Aware Preferences., , , und . ICDE Workshops, Seite 269-276. IEEE Computer Society, (2007)Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire., , und . FPCA, Volume 523 von Lecture Notes in Computer Science, Seite 124-144. Springer, (1991)Z-style notation for Probabilities.. TDM, Volume WP06-01 von CTIT Workshop Proceedings Series, Seite 19-24. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands, (2006)Modular Completeness for Communication Closed Layers., , und . CONCUR, Volume 715 von Lecture Notes in Computer Science, Seite 50-65. Springer, (1993)Axiomatization of Declarations and the Formal Treatment of an Escape Construct.. Formal Description of Programming Concepts, Seite 221-236. North-Holland, (1977)Aligning Application Architecture to the Business Context., , , und . CAiSE, Volume 2681 von Lecture Notes in Computer Science, Seite 209-225. Springer, (2003)The associativity of equivalence and the Towers of Hanoi problem., und . Inf. Process. Lett., 77 (2-4): 71-76 (2001)Inductive assertion patters for recursive procedures.. Symposium on Programming, Volume 19 von Lecture Notes in Computer Science, Seite 221-233. Springer, (1974)Ignorance in the Relational Model.. TDM, Volume WP06-01 von CTIT Workshop Proceedings Series, Seite 33-40. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands, (2006)