Chuangtse and Hueitse had strolled onto the bridge over the Hao,
when the former observed, "See how the small fish are darting about!
That is the happiness of the fish." "You are not a fish yourself,"
said Hueitse. "How can you know the happiness of the fish?"
"And you not being I," retorted Chuangtse, "how can you know that I do not know?"
(expressing the difference between a "knowledge" (EgroupΦ) and a "common knowledge" (CgroupΦ))
Open source code from my work on Attribute-based communication can be found on Github:
- AbaCuS: A run-time environment for attribute-based interaction in Java;
- AbC Simulator: Performance Evaluation of attribute-based communication infrastructures;
- GoAt: Attribute-based interaction in Google Go;
- The GoAt plugin: An Eclipse plugin for the AbC calculus.