scientific article; zbMATH DE number 5222366

From MaRDI portal

Revision as of 03:01, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5431914

Jump to:navigation, search

zbMath1128.03017MaRDI QIDQ5431914

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Publication date: 2 January 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

separation bigraphs spatial logics context logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Dynamic Reconfiguration via Typed Modalities

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5431914&oldid=20191497"