On fixpoint logics and equivalences for processes with restricted nondeterminism

Bibliographic Details
Main Author: Gutierrez, J
Format: Journal article
Published: 2015