A calculus of concurrent graph-rewriting processes
| Autor: | Kulcsár, Géza, Corradini, Andrea, Lochau, Malte |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming January 2020 110 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Kulcsár, Géza, Corradini, Andrea, Lochau, Malte |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming January 2020 110 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect