From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer.. Acta Inf., 52 (4-5): 299-301 (2015)UML 2 Semantics Symposium: Formal Semantics for UML., , , , , и . CoRR, (2014)Adding Fair Choice to Dijkstra's Calculus., и . ACM Trans. Program. Lang. Syst., 16 (3): 924-938 (1994)Formalization of Distributed, Concurrent, Reactive Systems.. Formal Description of Programming Concepts, стр. 319-262. Springer, (1989)From system requirements documents to integrated system modeling artifacts.. ACM Symposium on Document Engineering, стр. 98. ACM, (2009)Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.. Concurrency, Compositionality, and Correctness, том 5930 из Lecture Notes in Computer Science, стр. 118-126. Springer, (2010)From Actions, Transactions, and Processes to Services.. Petri Nets, том 9698 из Lecture Notes in Computer Science, стр. 13-19. Springer, (2016)Requirement and Design Specification for Distributed Systems.. Concurrency, том 335 из Lecture Notes in Computer Science, стр. 33-62. Springer, (1988)Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung., , и . Inform. Spektrum, 34 (1): 42-59 (2011)Scanning Advances in Aerospace & Automobile Software Technology., , и . Proc. IEEE, 98 (4): 510-514 (2010)