Kulcsar, Geza and Corradini, Andrea and 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 and Corradini, Andrea and 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 |