scientific article; zbMATH DE number 1746454
From MaRDI portal
Publication:4532085
zbMath0985.68524MaRDI QIDQ4532085
Publication date: 28 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670206
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Related Items
A taxonomy of process calculi for distribution and mobility ⋮ Parametric synchronizations in mobile nominal calculi ⋮ \(\mathrm{HO}\pi\) in Coq ⋮ PRISMA: A Mobile Calculus with Parametric Synchronization
