117 search results - page 24 / 24 » Bochvar-McCarthy Logic and Process Algebra |
ENTCS
2006
13 years 10 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
DEDS
2000
13 years 10 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...