scientific article; zbMATH DE number 2086655

MaRDI QIDQ4737192zbMATH OpenFDO

Authors Luca Cardelli, Philippa Gardner, G. Ghelli

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2380/23800597.htm

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Database theory (68P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1787157
• Logical aspects of spatial databases
• Expressiveness and complexity of graph logic
• A navigational logic for reasoning about graph properties
• Relative expressive power of navigational querying on graphs

Cited in

(26)

• Operational and abstract semantics of the query language G-Log
• Reconstruction graphs and testing their properties in a relational spatial database
• Towards a navigational logic for graphical structures
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• A spatial logic for concurrency. II
• Model checking mobile ambients
• A spatial logic for concurrency. I
• Expressing discrete spatial relations under granularity
• A navigational logic for reasoning about graph properties
• Manipulating trees with hidden labels
• Logical aspects of spatial databases
• Graph-Based Design and Analysis of Dynamic Software Architectures
• Every connected graph is a query graph
• scientific article; zbMATH DE number 1787157 (Why is no real title available?)
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• scientific article; zbMATH DE number 5222366 (Why is no real title available?)
• A Spatial Logic for Simplicial Models
• A presheaf semantics for quantified temporal logics
• Analysis of spatio-temporal properties of stochastic systems using TSTL
• Expressiveness results for an inductive logic of separated relations
• A logic for application level QoS
• Tree-verifiable graph grammars
• Input-output disjointness for forward expressions in the logic of information flows
• Expressiveness and complexity of graph logic
• Graphical models of separation logic

This page was built for publication:

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