Reduction Semantics for Ambient Calculi (2004)

by Maria Grazia Vigliotti
Venue:Trans In) (Trans Cap) P ≻ (ν−→ p )〈M.P ′ 〉P ′′ P M −→CG (ν −→ p )(P ′ |P ′′ ) (fn(M) ∩ −→ p = ∅) (Trans Amb) P
Citations:8 - 5 self

Document Versions

Reduction Semantics for Ambient Calculi –Maria Grazia Vigliotti — 2004 — Trans In) (Trans Cap) P ≻ (ν−→ p )〈M.P ′ 〉P ′′ P M −→CG (ν −→ p )(P ′ |P ′′ ) (fn(M) ∩ −→ p = ∅) (Trans Amb) P