An intensional characterization of the largest bisimulation

DOI10.1016/0304-3975(87)90073-9zbMath0626.68014OpenAlexW2091883117MaRDI QIDQ580963

Lars Hallnäs

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90073-9

zbMATH Keywords

observational equivalenceMilner's CCS

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

Infinite objects in type theory

Cites Work

• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• A lattice-theoretical fixpoint theorem and its applications
• Unnamed Item

This page was built for publication: An intensional characterization of the largest bisimulation