Proving Non-opacity

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/978-3-642-41527-2_8 ◽

2013 ◽

pp. 106-120 ◽

Cited By ~ 6

Author(s):

Mohsen Lesani ◽

Jens Palsberg

Download Full-text