Home » Authors » Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Public reference bibliography and cataloged PDF materials authored or published by Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn.

Found 1 document(s) Page 1 of 1

A theory of processes with localities

Year: 1992 • Source: hal.science • Listed PDF

We study a notion of observation for concurrent processes which allows the observer to see the distributed nature of processes, giving explicit names for the location of actions. A general notion of bisimulation related ...