The state operator in real time process algebra / J.C.M. Baeten, J.A. Bergstra
mainEntity
The state operator in real time process algebra / J.C.M. Baeten, J.A. Bergstra
about
author
contributor
inLanguage
mainEntityOfPage
name
The state operator in real time process algebra
numberOfPages
publication
sameAs
label
The state operator in real time process algebra / J.C.M. Baeten, J.A. Bergstra