A model for asynchronous reactive systems and its application to secure message transmission
Keyword(s):
2010 ◽
Vol 2
(2)
◽
pp. 159
◽