A congruence theorem for structured operational semantics with predicates / by J.C.M. Baeten and C. Verhoef
type: Book
type: CreativeWork
type: ProductModel
issued: 1993
about: p075598833
about: p075619539
author: p075137755
author: p075493500
contributor: p093708017
language: en
is part of: p860173992
main entity of page: https://data.bibliotheken.nl/.well-known/genid/d2a747e0561f559f541ec0a55b976870
name: A congruence theorem for structured operational semantics with predicates
number of pages: 18