Bounded nondeterminism and the approximation induction principle in process algebra
type: Book
type: CreativeWork
type: ProductModel
issued: 1986
about: p190396571
author: p075404001
author: p072142138
language: en
is part of: p840821077
main entity of page: https://data.bibliotheken.nl/.well-known/genid/143f87511b9c914b628bdcdcf761c95f
number of pages: 23
label: Bounded nondeterminism and the approximation induction principle in process algebra / R.J. van Glabbeek