Autor der Publikation

Behavior: A Temporal Approach to Process Modelling.

, , , und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 237-254. Springer, (1985)

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

The 1990-91 Taulbee Survey Report., und . Computer, 25 (11): 69-75 (1992)Translator writing systems., und . Commun. ACM, 11 (2): 77-113 (1968)A Model and Temporal Proof System for Networks of Processes., , und . POPL, Seite 121-131. ACM Press, (1985)Current Ideas in Programming Methodology.. Program Construction, Volume 69 von Lecture Notes in Computer Science, Seite 77-93. Springer, (1978)Models for Re-Use.. FSTTCS, Volume 287 von Lecture Notes in Computer Science, Seite 373-375. Springer, (1987)Data Refinement and the Transform.. NATO ASI PDC, Volume 118 von NATO ASI Series, Seite 93-119. Springer, (1992)ProgramLive - master Java programming in a dynamic, self-paced learning environment., , und . Wiley, (2002)Report of the ACM Task Force on the Core of Computer Science, , , , , , und . ACM Press, New York, N.~Y., (1988)An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).. ICSE, Seite 200. IEEE Computer Society, (1976)The Science of Programming. Springer, (1981)