A filter model for mobile processes

DOI10.1017/S096012959800259XMaRDI QIDQ4237908zbMATH OpenOpenAlexFDO

Authors Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini

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)

Recommendations

• scientific article; zbMATH DE number 2163006
• Model checking mobile processes
• Mobile objects as mobile processes
• scientific article; zbMATH DE number 1746454
• scientific article; zbMATH DE number 2102772
• Controlling Process Modularity in Mobile Computing
• Modal logics for mobile processes

Cited in

(9)

• Full abstractness for a functional/concurrent language with higher-order value-passing
• Discrimination by parallel observers: the algorithm.
• Mobile objects as mobile processes
• A fully abstract model for mobile ambients
• A filter model for safe ambients
• scientific article; zbMATH DE number 3876645 (Why is no real title available?)
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• scientific article; zbMATH DE number 2086520 (Why is no real title available?)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237908)