A denotational semantics for synchronous and asynchronous behavior with multiform time
| Autor: | Roncken, M., Gerth, R.T., Kwiatkowska, M.Z., Shields, M.W., Thomas, R.M. |
|---|---|
| Přispěvatelé: | Mathematics and Computer Science, VF-programma Parallellisme (TUE.INF.302.90.26) |
| Jazyk: | angličtina |
| Rok vydání: | 1990 |
| Zdroj: | Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990), 21-37 STARTPAGE=21;ENDPAGE=37;TITLE=Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|