( en | de | ru )

 

Disambiguierung von "von Bochmann, Gregor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Incremental Construction Approach for Distributed System Specifications.

, und . FORTE, Volume C-22 von IFIP Transactions, Seite 87-102. North-Holland, (1993)

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.

Gregor Bochmann

Gregor ˜vonœ Arx

Jörg Bochmann

Heinz Bochmann

Hellmuth Bochmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal specifications design, evolution and reuse., und . CASCON, Seite 184-193. IBM, (1993)Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems., , und . FORTE, Volume 2767 von Lecture Notes in Computer Science, Seite 399-414. Springer, (2003)Some notes on the history of protocol engineering., , und . Comput. Networks, 54 (18): 3197-3209 (2010)Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services., und . AIMS, Volume 6734 von Lecture Notes in Computer Science, Seite 124-135. Springer, (2011)Using First-Order Logic to Reason about Submodule Construction.. FMOODS/FORTE, Volume 5522 von Lecture Notes in Computer Science, Seite 213-218. Springer, (2009)Synchronization in Distributed System Modules.. Berkeley Workshop, Seite 322-339. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1978)Some Experience with the Use of Formal Specifications., , , , , , , , und . PSTV, Seite 171-185. North-Holland, (1982)Deriving protocol specifications from service specifications written as Predicate/Transition-nets., , , und . Comput. Networks, 51 (1): 258-284 (2007)Realizability of Collaboration-based Service Specifications., , und . APSEC, Seite 73-80. IEEE Computer Society, (2007)Conformance Relations and Test Derivation., , und . Protocol Test Systems, Volume C-19 von IFIP Transactions, Seite 157-178. North-Holland, (1993)