scientific article; zbMATH DE number 1746454
From MaRDI portal
Publication:4532085
zbMATH Open0985.68524MaRDI QIDQ4532085FDOQ4532085
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
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (14)
- Title not available (Why is that?)
- A calculus of mobile processes. II
- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
- \(\mathrm{HO}\pi\) in Coq
- PRISMA: A Mobile Calculus with Parametric Synchronization
- A filter model for mobile processes
- Controlling Process Modularity in Mobile Computing
- Mathematics of Program Construction
- Mobile objects as mobile processes
- Title not available (Why is that?)
- A taxonomy of process calculi for distribution and mobility
- Parametric synchronizations in mobile nominal calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
