Co-Algebraic Models for Quantitative Spatial Logics
From MaRDI portal
Publication:2870283
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
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
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