A characterization of finitary bisimulation

DOI10.1016/S0020-0190(97)00163-4MaRDI QIDQ287256zbMATH OpenOpenAlexFDO

Authors Luca Aceto, Anna Ingolfsdottir

Publication date 26 May 2016

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(97)00163-4

zbMATH Keywords

concurrencybisimulation preorderfinitary relationlabelled transition system with divergence

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 3744561 (Why is no real title available?)
• scientific article; zbMATH DE number 3754002 (Why is no real title available?)
• A calculus of communicating systems
• A domain equation for bisimulation
• A term model for synchronous processes
• Algebraic laws for nondeterminism and concurrency
• Bisimulation and divergence
• Formal verification of parallel programs
• Observation equivalence as a testing equivalence
• Termination, deadlock, and divergence

Cited in

(3)

• Corrigendum: ``A domain equation for bisimulation by S. Abramsky
• The equational theory of prebisimilarity over basic CCS with divergence
• A unified rule format for bounded nondeterminism in SOS with terms as labels

This page was built for publication: A characterization of finitary bisimulation

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