Publication:4737192
From MaRDI portal
zbMath1057.68606MaRDI QIDQ4737192
Philippa Gardner, Luca Cardelli, Giorgio Ghelli
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800597.htm
68P15: Database theory
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
05C20: Directed graphs (digraphs), tournaments
Related Items
Expressiveness and complexity of graph logic, Graphical models of separation logic, 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, Graph-Based Design and Analysis of Dynamic Software Architectures