Rodrigo C. M. Santos -

Not registered as user

Name:Rodrigo C. M. Santos

Affiliation:PUC-Rio

Contributions

2018

LCTES

Author of A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu within the LCTES 2018-track