Impossible futures and determinism
type: Item
instance of: scholarly article
title: Impossible futures and determinism
zbMATH Open document ID: 1003.68090
DOI: 10.1016/S0020-0190(01)00217-4
author: Marc Voorhoeve
author: Sjouke Mauw
published in: Information Processing Letters
publication date: 2002-07-25T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1771812
zbMATH Keywords: process preorders
MaRDI profile type: Publication
cites work: Q4857386
cites work: Process Algebra
cites work: Bisimulation can't be traced
cites work: Testing equivalences for processes
cites work: Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Divergence and fair testing
description: scientific article; zbMATH DE number 1771812