Co-Algebraic Models for Quantitative Spatial Logics

DOI10.1016/j.entcs.2007.07.004zbMath1279.03055OpenAlexW1986848695MaRDI QIDQ2870283

Vincenzo Ciancia, Gian-Luigi Ferrari

Publication date: 17 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.07.004

zbMATH Keywords

coalgebrasquality of servicemodal logicsspatial logicsc-semirings

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)

Uses Software

• SLMC

Cites Work

• Unnamed Item
• Unnamed Item
• Modal logics for mobile processes
• Observing localities
• Universal coalgebra: A theory of systems
• Resource access control in systems of mobile agents
• A spatial logic for concurrency. II
• Semirings for constraint solving and programming.
• A spatial logic for concurrency. I
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Spatial-Behavioral Types, Distributed Services, and Resources
• Semiring-based constraint satisfaction and optimization
• TQL: a query language for semistructured data based on the ambient logic
• Resource usage analysis
• Foundations of Software Science and Computation Structures
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Co-Algebraic Models for Quantitative Spatial Logics