Found 2 document(s)
Page 1 of 1
-
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 ...
-
Disponible dans les fichiers attachés à ce document...