PRISMA: A Mobile Calculus with Parametric Synchronization

DOI10.1007/978-3-540-75336-0_9MaRDI QIDQ3608457zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Ivan Lanese

Publication date 5 March 2009

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75336-0_9

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parametric synchronizations in mobile nominal calculi
• A calculus of mobile processes. I
• On mobility and communication
• Synchronization algebras with mobility for graph transformations
• scientific article; zbMATH DE number 1512624

Cites work

• A calculus of communicating systems
• A calculus of mobile processes. II
• Concurrent and Located Synchronizations in π-Calculus
• scientific article; zbMATH DE number 1746454 (Why is no real title available?)
• scientific article; zbMATH DE number 1863162 (Why is no real title available?)
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Mobile values, new names, and secure communication
• Process Algebra
• Programming Languages and Systems
• Synchronization algebras with mobility for graph transformations
• Synchronization trees

Cited in

(2)

• A parametric calculus for mobile open code
• Parametric synchronizations in mobile nominal calculi

This page was built for publication: PRISMA: A Mobile Calculus with Parametric Synchronization

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