Hybrid Logical Analyses of the Ambient Calculus

DOI10.1007/978-3-540-73445-1_7zbMath1175.68271OpenAlexW4238134709WikidataQ57813476 ScholiaQ57813476MaRDI QIDQ3612655

René Rydhof Hansen, Thomas Bolander

Publication date: 10 March 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73445-1_7

zbMATH Keywords

hybrid logicstatic analysismobile ambients

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combined logics (03B62)

Related Items (1)

Hybrid logical analyses of the ambient calculus

Uses Software

• HyLoTab

This page was built for publication: Hybrid Logical Analyses of the Ambient Calculus