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

(21)

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

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)