Publication:2778816
From MaRDI portal
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
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Relating state-based and process-based concurrency through linear logic (full-version), Probabilistic mobile ambients, Elimination of spatial connectives in static spatial logics, 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, Name-passing in an ambient-like calculus and its proof using spatial logic, Elimination of quantifiers and undecidability in spatial logics for concurrency