Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte (2020):
A calculus of concurrent graph-rewriting processes.
In: Journal of Logical and Algebraic Methods in Programming, 110, p. 100500. ISSN 2352-2216,
DOI: 10.1016/j.jlamp.2019.100500,
[Article]
| Item Type: | Article |
|---|---|
| Erschienen: | 2020 |
| Creators: | Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte |
| Title: | A calculus of concurrent graph-rewriting processes |
| Language: | English |
| Journal or Publication Title: | Journal of Logical and Algebraic Methods in Programming |
| Journal volume: | 110 |
| Divisions: | 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering |
| Date Deposited: | 13 Nov 2019 14:25 |
| DOI: | 10.1016/j.jlamp.2019.100500 |
| Official URL: | https://www.sciencedirect.com/science/article/pii/S235222081... |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum