Semantics for finite delay

DOI10.1016/S0304-3975(96)00095-3MaRDI QIDQ1392281zbMATH OpenFDO

Authors Chrysafis Hartonas

Publication date 23 July 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

fair bisimilarity

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A fixpoint approach to finite delay and fairness
• scientific article; zbMATH DE number 1497811
• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• scientific article; zbMATH DE number 1231450

Cites work

• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• scientific article; zbMATH DE number 860042 (Why is no real title available?)
• A coinductive calculus of streams
• A final coalgebra theorem
• A term model for synchronous processes
• Acceptance trees
• Algebraic laws for nondeterminism and concurrency
• An algebraic theory of fair asynchronous communicating processes
• Axiomatising finite delay operators
• Calculi for synchrony and asynchrony
• Final universes of processes
• Nonwellfounded sets and programming language semantics
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Synchronization trees
• Terminal coalgebras in well-founded set theory
• Testing equivalences for processes

Cited in

(2)

• Duality for modal \(\mu\)-logics
• A fixpoint approach to finite delay and fairness

This page was built for publication: Semantics for finite delay

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1392281)