Co-Algebraic Models for Quantitative Spatial Logics

DOI10.1016/j.entcs.2007.07.004zbMath1279.03055MaRDI 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

coalgebras; quality of service; modal logics; spatial logics; c-semirings

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

68Q65: Abstract data types; algebraic specification

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03G30: Categorical logic, topoi

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