The state operator in process algebra / Javier Oscar Blanco
mainEntity
The state operator in process algebra / Javier Oscar Blanco
author
description
Proefschrift Technische Universiteit Eindhoven
inLanguage
isbn
9038602871
mainEntityOfPage
name
The state operator in process algebra
numberOfPages
publication
sameAs
label
The state operator in process algebra / Javier Oscar Blanco