☰

Gregor Bochmann

Affiliations: 
University of Ottawa, Ottawa, ON, Canada 
Area:
Computer Science
Google:
"Gregor Bochmann"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Khaled A. El-Fakih grad student 2002 University of Ottawa

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Castejón HN, Bochmann G, Bræk R. (2013) On the realizability of collaborative services Software and Systems Modeling. 12: 597-617
El-Fakih K, Yevtushenko N, Buffalov S, et al. (2006) Progressive solutions to a parallel automata equation Theoretical Computer Science. 362: 17-32
Bochmann GV. (1990) Protocol specification for OSI Computer Networks and Isdn Systems. 18: 167-184
Bochmann G, Cerny E, Gagne M, et al. (1982) Experience with Formal Specifications Using an Extended State Transition Model Ieee Transactions On Communications. 30: 2506-2513
Bochmann GV. (1980) A General Transition Model for Protocols and Communication Services Ieee Transactions On Communications. 28: 643-650
Bochmann GV, Sunshine CA. (1980) Formal Methods in Communication Protocol Design Ieee Transactions On Communications. 28: 624-631
See more...