Mobile processes: A commented bibliography

DOI10.1007/3-540-45510-8_11MaRDI QIDQ4532085zbMATH OpenFDO

Authors Silvano Dal Zilio

Publication date 28 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2067/20670206

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A calculus of mobile processes. I
• scientific article; zbMATH DE number 1296290
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
• scientific article; zbMATH DE number 2102772
• Notes on nominal calculi for security and mobility

Cited in

(16)

• A calculus of mobile processes. II
• \(\mathrm{HO}\pi\) in Coq
• Mobile objects as mobile processes
• Combining mobile processes and declarative programming
• Controlling Process Modularity in Mobile Computing
• PRISMA: A Mobile Calculus with Parametric Synchronization
• A filter model for mobile processes
• On synchronous and asynchronous mobile processes
• Internal mobility and agent-passing calculi
• Notes on nominal calculi for security and mobility
• scientific article; zbMATH DE number 2102772 (Why is no real title available?)
• Mathematics of Program Construction
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
• Process calculi for modelling mobile, service-oriented, and collective autonomic systems
• A taxonomy of process calculi for distribution and mobility
• Parametric synchronizations in mobile nominal calculi

This page was built for publication: Mobile processes: A commented bibliography

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