scientific article; zbMATH DE number 1746454

MaRDI QIDQ4532085zbMATH OpenFDO

Authors Silvano Dal Zilio

Publication date 28 May 2002

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
• scientific article; zbMATH DE number 1884408

Cited in

(16)

• A calculus of mobile processes. II
• \(\mathrm{HO}\pi\) in Coq
• Mobile objects as mobile processes
• scientific article; zbMATH DE number 1696803 (Why is no real title available?)
• Controlling Process Modularity in Mobile Computing
• PRISMA: A Mobile Calculus with Parametric Synchronization
• A filter model for mobile processes
• scientific article; zbMATH DE number 1512624 (Why is no real title available?)
• Internal mobility and agent-passing calculi
• scientific article; zbMATH DE number 1884408 (Why is no real title available?)
• 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:

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