tag : Proto
1 publication
Core Operational Semantics of Proto (paper in proceedings, 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei Core Operational Semantics of Proto (paper in proceedings, 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei Core Operational Semantics of Proto (paper in proceedings, 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei