A complete inference system for regular processes with silent moves
type: CreativeWork
type: Book
type: ProductModel
issued: 1984
about: p075603233
author: p075350289
author: p068653433
contributor: p068413955
language: en
is part of: p840821077
main entity of page: https://data.bibliotheken.nl/.well-known/genid/eaedbb61e5df54aaf71fdbeb8e420ec9
number of pages: 59
label: A complete inference system for regular processes with silent moves / J.A. Bergstra, J.W. Klop