scientific article
From MaRDI portal
Publication:2778816
zbMath0981.68036MaRDI QIDQ2778816
Luca Cardelli, Andrew D. Gordon
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440046
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A spatial logic for concurrency. II, Model checking mobile ambients, Nominal logic, a first order theory of names and binding, A spatial logic for concurrency. I, Unnamed Item, Elimination of spatial connectives in static spatial logics, Name-passing in an ambient-like calculus and its proof using spatial logic, Elimination of quantifiers and undecidability in spatial logics for concurrency, Relating state-based and process-based concurrency through linear logic (full-version), Probabilistic mobile ambients, Local Reasoning about Data Update
