tag : linear logic

Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012) — Stefano Mariani, Andrea Omicini

Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli