scientific article; zbMATH DE number 2163006

MaRDI QIDQ4673387zbMATH OpenFDO

Authors Robin Milner

Publication date 29 April 2005

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1863157
• scientific article; zbMATH DE number 2016063
• Pure bigraphs: structure and dynamics
• Bigraphs and their algebra
• Bigraphs and transitions

Cited in

(7)

• Mobile objects as mobile processes
• Bigraphical semantics of higher-order mobile embedded resources with local names
• The Space and Motion of Communicating Agents
• Using bigraphs to model topological graphs embedded in orientable surfaces
• A filter model for mobile processes
• scientific article; zbMATH DE number 1512624 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)

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 Q4673387)