A fixpoint approach to finite delay and fairness
type: Item
instance of: scholarly article
title: A fixpoint approach to finite delay and fairness
zbMATH Open document ID: 0911.68101
DOI: 10.1016/S0304-3975(97)00076-5
author: Chrysafis Hartonas
published in: Theoretical Computer Science
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1190299
zbMATH Keywords: fairness
zbMATH Keywords: finite delay
zbMATH Keywords: mixed fixpoints
zbMATH Keywords: antifoundation
MaRDI profile type: Publication
cites work: A domain equation for bisimulation
cites work: Q3992552
cites work: A final coalgebra theorem
cites work: Final universes of processes
cites work: Q4273664
cites work: Terminal coalgebras in well-founded set theory
cites work: Q3348429
cites work: Q3738540
cites work: Q4870814
cites work: Semantics for finite delay
cites work: Duality for modal \(\mu\)-logics
cites work: Concurrent testing of processes
cites work: Axiomatising finite delay operators
cites work: An algebraic theory of fair asynchronous communicating processes
cites work: Q3997501
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Q3992568
cites work: Q4004425
cites work: Fixed point characterization of infinite behavior of finite-state systems
cites work: Q3906397
cites work: Q3907077
cites work: Nonwellfounded sets and programming language semantics
cites work: A fair calculus of communicating systems
cites work: Weak and strong fairness in CCS
full work available at URL: s0304-3975(97)00076-5
OpenAlex ID: W1975412146
description: scientific article; zbMATH DE number 1190299