On fixpoint logics and equivalences for processes with restricted nondeterminism
type: Item
instance of: scholarly article
title: On fixpoint logics and equivalences for processes with restricted nondeterminism
zbMATH Open document ID: 1444.03115
author: Julian Gutiérrez
publication date: 2019-01-31T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 7009539
zbMATH Keywords: fixpoint logics
zbMATH Keywords: concurrency theory
zbMATH Keywords: bisimulation games
MaRDI profile type: Publication
OpenAlex ID: W2462226377
DOI: 10.1093/LOGCOM/EXV032
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 7009539