Toward an infinitary logic of domains: Abramsky logic for transition systems

DOI10.1006/INCO.1999.2827MaRDI QIDQ1854320zbMATH OpenOpenAlexFDO

Authors Marcello M. Bonsangue, Joost N. Kok

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/0e30a0fa6c3609c23b9826198c0cf7ea511587a1

zbMATH Keywords

bisimulationdomain logicLindenbaum algebrarecursive domain equationsaturated setssober spacestransition systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1088041
• A logic for Lawson compact algebraic L-domains
• Logic of Plotkin continuous domain
• scientific article; zbMATH DE number 1583311
• Representing L-domains as information systems

Cites work

• A calculus of communicating systems
• A domain equation for bisimulation
• Algebraic laws for nondeterminism and concurrency
• Algebraic semantics
• Completely Distributive Complete Lattices
• Domain theory in logical form
• Duality beyond sober spaces: Topological spaces and observation frames
• Free Completely Distributive Lattices
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3907747 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3494368 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• scientific article; zbMATH DE number 1088041 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• Processes and the denotational semantics of concurrency
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(7)

• Abstractions for transition systems with applications to stubborn sets
• Infinite intersection types
• A logic for Lawson compact algebraic L-domains
• Continuous L-domains in logical form
• Bounded complete domains and their logical form
• scientific article; zbMATH DE number 1088041 (Why is no real title available?)
• Domain mu-calculus

This page was built for publication: Toward an infinitary logic of domains: Abramsky logic for transition systems

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