scientific article; zbMATH DE number 2242579
From MaRDI portal
Publication:5714431
zbMath1087.03507MaRDI QIDQ5714431
Publication date: 2 January 2006
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
A spatial logic for concurrency. II ⋮ Model checking mobile ambients ⋮ Specification and verification for semi-structured data ⋮ Nominal logic, a first order theory of names and binding ⋮ A spatial logic for concurrency. I ⋮ Resources, concurrency, and local reasoning ⋮ A semantic framework for open processes ⋮ Separation Logic Semantics for Communicating Processes ⋮ On Symbolic Semantics for Name-decorated Contexts ⋮ Elimination of spatial connectives in static spatial logics ⋮ Pure bigraphs: structure and dynamics ⋮ A coordination approach to mobile components ⋮ Unnamed Item
This page was built for publication:
