Sciweavers

ENTCS
2006
214views more  ENTCS 2006»
13 years 7 months ago
A Generalization of ACP Using Belnap's Logic
ACP is combined with Belnap's four-valued logic via conditional composition (if
Alban Ponse, Mark van der Zwaag