scientific article; zbMATH DE number 2086655
From MaRDI portal
Publication:4737192
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Directed graphs (digraphs), tournaments (05C20)
Related Items
A spatial logic for concurrency. II ⋮ Model checking mobile ambients ⋮ A spatial logic for concurrency. I ⋮ Expressiveness and complexity of graph logic ⋮ Graph-Based Design and Analysis of Dynamic Software Architectures ⋮ A Spatial Logic for Simplicial Models ⋮ A navigational logic for reasoning about graph properties ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Graphical models of separation logic ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Manipulating Trees with Hidden Labels