Co-algebraic models for quantitative spatial logics

DOI10.1016/J.ENTCS.2007.07.004MaRDI QIDQ2870283zbMATH OpenOpenAlexFDO

Authors 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

c-semiringscoalgebrasmodal logicsquality of servicespatial logics

Mathematics Subject Classification ID

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

Recommendations

• Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
• A coalgebraic approach to linear-time logics
• scientific article; zbMATH DE number 1688389
• scientific article; zbMATH DE number 1497872
• scientific article; zbMATH DE number 1753205

Cites work

• A noninterleaving model of concurrency based on transition systems with spatial structure
• A spatial logic for concurrency. I
• A spatial logic for concurrency. II
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• Modal logics for mobile processes
• Multi-valued model checking via classical model checking.
• Observing localities
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Resource access control in systems of mobile agents
• Resource usage analysis
• Semiring-based constraint satisfaction and optimization
• Semirings for constraint solving and programming.
• Spatial-Behavioral Types, Distributed Services, and Resources
• TQL: a query language for semistructured data based on the ambient logic
• Universal coalgebra: A theory of systems

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Co-algebraic models for quantitative spatial logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870283)