scientific article

zbMath0977.68028MaRDI QIDQ2763663

Luca Cardelli, Giorgio Ghelli

Publication date: 21 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280001

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

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45) Theory of programming languages (68N15) Logic in computer science (03B70)

Related Items (14)

A spatial logic for concurrency. II ⋮ Model checking mobile ambients ⋮ A spatial logic for concurrency. I ⋮ XML schema, tree logic and sheaves automata ⋮ Security types for dynamic web data ⋮ Applying model-checking to solve queries on semistructured data ⋮ Unnamed Item ⋮ Elimination of spatial connectives in static spatial logics ⋮ A coordination approach to mobile components ⋮ Elimination of quantifiers and undecidability in spatial logics for concurrency ⋮ Security Types for Dynamic Web Data ⋮ Modelling dynamic web data ⋮ Manipulating Trees with Hidden Labels ⋮ Testing XML constraint satisfiability

This page was built for publication: