Logical Properties of Name Restriction

13 years 9 months ago

Download lucacardelli.name

We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions about restricted names, and we study their properties.

Luca Cardelli, Andrew D. Gordon

Real-time Traffic

Ambient Calculus | Modal Logic | Theoretical Computer Science | TLCA 2001 |

claim paper

Related Content

» A Spatial Logic for Concurrency

» Implicational semilinear logics I a new hierarchy

» Toward a general theory of names binding and scope

» Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution

» The Power of Counting Logics on Restricted Classes of Finite Structures

» On Expressive Number Restrictions in Description Logics

» A New nary Existential Quantifier in Description Logics

» Spatial and Behavioral Types in the PiCalculus

» Algebraic tableau reasoning for the description logic SHOQ

Post Info
More Details (n/a)

Added	30 Jul 2010
Updated	30 Jul 2010
Type	Conference
Year	2001
Where	TLCA
Authors	Luca Cardelli, Andrew D. Gordon

Comments (0)

Sciweavers

Logical Properties of Name Restriction

Ambient Calculus | Modal Logic | Theoretical Computer Science | TLCA 2001 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers