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