scientific article; zbMATH DE number 2086655
From MaRDI portal
Publication:4737192
zbMATH Open1057.68606MaRDI QIDQ4737192FDOQ4737192
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
Title of this publication is not available (Why is that?)
Recommendations
Directed graphs (digraphs), tournaments (05C20) Database theory (68P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (21)
- A spatial logic for concurrency. I
- A spatial logic for concurrency. II
- A presheaf semantics for quantified temporal logics
- Operational and abstract semantics of the query language G-Log
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
