Deriving Non-determinism from Conjunction and Disjunction

Formal Techniques for Networked and Distributed Systems - FORTE 2005 - Lecture Notes in Computer Science ◽

10.1007/11562436_26 ◽

2005 ◽

pp. 351-365 ◽

Cited By ~ 1

Author(s):

Naijun Zhan ◽

Mila Majster-Cederbaum

Download Full-text