- Tytuł:
- Towards a Formal Representation of Interactive Systems
- Autorzy:
-
Banu-Demergian, I. T.
Stefanescu, G. - Data publikacji:
- 2014
- Słowa kluczowe:
-
parallel programming
interactive programming
regular expressions
regular algebra
Kleene theorem
network algebra
2-dimensional languages
finite interactive systems
relational semantics
specification
verification
structured interactive programming - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł