A general conservative extension theorem in process algebras with inequalities / Pedro R. D'Argenio and Chris Verhoef
type: ProductModel
type: CreativeWork
type: Book
is part of: p126043515
main entity of page: https://data.bibliotheken.nl/.well-known/genid/96166629a97c28cdd7c766664d494231
name: A general conservative extension theorem in process algebras with inequalities
about: p075603233
about: p075598833
author: p149170556
author: p12670144X
contributor: p093708017
language: en
number of pages: 33
issued: 1996