A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu
| Autor: | Lima, Guilherme F., Santos, Rodrigo C.M., Ierusalimschy, Roberto, Haeusler, Edward H., Sant’Anna, Francisco |
|---|---|
| Zdroj: | In Journal of Systems Architecture August 2019 97:239-257 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect