On fixpoint logics and equivalences for processes with restricted nondeterminism

书目详细资料
主要作者: Gutierrez, J
格式: Journal article
出版: 2015