↓Skip to main content

Fixed Points in the Ambient Logic

Concurrency Semantics Mobile Ambients
Table of Contents

Silvano Dal Zilio
In FICS 2001 — 3rd Workshop on Fixed Points in Computer Science, sep 2001.

conference paper

 PDF

Abstract
#

We present an extension of the ambient logic with fixed points operators in the style of the μ-calculus. We give a simple syntactic condition for the equivalence between minimal and maximal fixpoint formulas and show how to subsume spatial analogues of the usual box and diamond operators.

Citation
#


@InProceedings{DalzilioS:fics2001,
   author    = {{Dal Zilio}, Silvano},
   title     = {{Fixed Points in the Ambient Logic}},
   booktitle = {FICS 2001 -- 3rd Workshop on Fixed Points in Computer Science},
   month     = sep, 
   year      = 2001
}