Sciweavers

95
Voted
ENTCS
2006
214views more  ENTCS 2006»
15 years 5 days 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