A tree-based Operational Semantics for Interactive Multimedia Scores

A tree-based Operational Semantics for Interactive Multimedia Scores

Talk presented at the seminar on formal methods and languages.

5e4a10aefffbb2ba84d094911e8b1947?s=128

Jaime Arias Almeida

October 24, 2017
Tweet