Autor der Publikation

In Favour of a Coherent Process Coding Language.

. EWSPT, Volume 913 von Lecture Notes in Computer Science, Seite 94-97. Springer, (1995)

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

Graph Representation and Computation Rules for Typeless Recursive Languages., , und . ICALP, Volume 14 von Lecture Notes in Computer Science, Seite 157-169. Springer, (1974)In Favour of a Coherent Process Coding Language.. EWSPT, Volume 913 von Lecture Notes in Computer Science, Seite 94-97. Springer, (1995)Modeling the Software Development Process., und . Advances in Software Engineering and Knowledge Engineering, Volume 2 von Series on Software Engineering and Knowledge Engineering, World Scientific, (1993)Two-Level Control Structure for Nondeterministic Programming., , und . Commun. ACM, 20 (10): 725-730 (1977)Compositional Refinements in Multiple Blackboard Systems., und . ESOP, Volume 582 von Lecture Notes in Computer Science, Seite 93-109. Springer, (1992)The Logic Language ESP and its Programming Environment., , und . LPE, Seite 12-15. (1990)A Logical View of Choreography., und . COORDINATION, Volume 4038 von Lecture Notes in Computer Science, Seite 179-193. Springer, (2006)Is Type Checking Practical for System Configuration?, , und . TAPSOFT, Vol.2, Volume 352 von Lecture Notes in Computer Science, Seite 257-271. Springer, (1989)The Oikos Services for Object Management in the Software Process., , und . EWSPT, Volume 772 von Lecture Notes in Computer Science, Seite 2-14. Springer, (1994)A UML Profile to Support the Formal Presentation of Software Architecture., und . COMPSAC, Seite 217-223. IEEE Computer Society, (2002)