Trees and semantics

DOI10.1016/S0304-3975(96)00107-7zbMath0901.68114MaRDI QIDQ1391740

Christel Baier

Publication date: 22 July 1998

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

zbMATH Keywords

operational semanticsMilner's derivation trees

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Solving reflexive domain equations in a category of complete metric spaces
• Metric semantics for concurrency
• Towards a foundation for semantics in complete metric spaces
• Synchronization trees
• Terminal coalgebras in well-founded set theory
• A domain equation for bisimulation
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Connections between two theories of concurrency: Metric spaces and synchronization trees
• On the relationships between Scott domains, synchronization trees, and metric spaces
• The Category-Theoretic Solution of Recursive Domain Equations
• A Powerdomain Construction
• Processes as terms: non-well-founded models for bisimulation
• Processes and the denotational semantics of concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item