Pointwise extensions of GSOS-defined operations
| Autor: | Hansen, H.H., Klin, B., Jacobs, B.P.F., Niqui, M., Rutten, J.J.M.M., Silva, A. |
|---|---|
| Přispěvatelé: | Formal System Analysis |
| Jazyk: | angličtina |
| Rok vydání: | 2010 |
| Zdroj: | Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010), 10-11 STARTPAGE=10;ENDPAGE=11;TITLE=Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010) |
| Popis: | No abstract. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|