Compositionality: Ontology and Mereology of Domains

DOI10.1007/978-3-642-11512-7_3zbMath1274.68477OpenAlexW1489235590MaRDI QIDQ5187818

Asger Eir, Dines Bjørner

Publication date: 9 March 2010

Published in: Concurrency, Compositionality, and Correctness (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11512-7_3

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of software (68N99)

Related Items (4)

Satisfiability in composition-nominative logics ⋮ Domain science and engineering from computer science to the sciences of informatics. II: Science ⋮ Mereology in Engineering and Computer Science ⋮ Manifest domains: analysis and description

Uses Software

• Z

Cites Work

• The logical systems of Lesniewski
• A calculus of individuals based on 'connection'
• Logics of specification languages
• Relating Domain Concepts Intensionally by Ordering Connections
• Domain Engineering
• Time, clocks, and the ordering of events in a distributed system
• Communicating sequential processes
• The B-Book
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compositionality: Ontology and Mereology of Domains