A filter model for mobile processes

DOI10.1017/S096012959800259XzbMath0923.68088OpenAlexW1970169042MaRDI QIDQ4237908

Ferruccio Damiani, Paola Giannini, Mariangiola Dezani-Ciancaglini

Publication date: 13 April 1999

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012959800259x

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Full abstractness for a functional/concurrent language with higher-order value-passing ⋮ A Fully Abstract Model for Mobile Ambients ⋮ Discrimination by parallel observers: the algorithm.

This page was built for publication: A filter model for mobile processes