tag : linear logic

1 publication / Mirko Viroli
page_white_acrobat Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
[ tag cloud  /  Mirko Viroli  /  publications ]