( en | de | ru )

 

Disambiguation of "von Bochmann, Gregor"

Author of the publication

copydeleteadd this publication to your clipboard
Fairness in LOTOS.

, and . FORTE, volume C-2 of IFIP Transactions, page 543-558. North-Holland, (1991)

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. You can also use the button next to the name to display some publications already assigned to the person.

Gregor Bochmann

Gregor ˜vonœ Arx

Jörg Bochmann

Heinz Bochmann

Hellmuth Bochmann

 

Other publications of authors with the same name

Some notes on the history of protocol engineering., , and . Comput. Networks, 54 (18): 3197-3209 (2010)Grade-of-service differentiated static resource allocation schemes in WDM networks., , , and . Opt. Switch. Netw., 5 (2-3): 107-122 (2008)Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services., and . AIMS, volume 6734 of Lecture Notes in Computer Science, page 124-135. Springer, (2011)Hardware Specification with Temporal Logic: En Example.. IEEE Trans. Computers, 31 (3): 223-231 (1982)A Test Design Methodology for Protocol Testing., , and . IEEE Trans. Software Eng., 13 (5): 518-531 (1987)Delay-Independent Design for Distributed Systems.. IEEE Trans. Software Eng., 14 (8): 1229-1237 (1988)Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters., and . IEEE Trans. Software Eng., 20 (1): 29-42 (1994)Software Testing Based on SDL Specifications with Save., , and . IEEE Trans. Software Eng., 20 (1): 72-87 (1994)Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method., , and . IEEE Trans. Software Eng., 20 (2): 149-162 (1994)Realizability of Collaboration-based Service Specifications., , and . APSEC, page 73-80. IEEE Computer Society, (2007)