634 search results - page 1 / 127 » Separability in the Ambient Logic |
POPL
2007
ACM
14 years 6 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
LICS
2002
IEEE
13 years 10 months ago
2002
IEEE
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...