140
Voted
SAC
2006
ACM
16 years 20 hour ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...