Both our submission to the 23rd Italian Conference on Theoretical Computer Science have been accepted for presentation and publication in the proceedings:

  • Distributed Programming of Smart Systems with Event-Condition-Action Rules, by Michele Pasqua and MM;
  • A Calculus for Subjective Communication, by MM and Matteo Paier.

When published, the PDF will be available from the publications page.