Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte (2020)
A calculus of concurrent graph-rewriting processes.
In: Journal of Logical and Algebraic Methods in Programming, 110
doi: 10.1016/j.jlamp.2019.100500
Artikel, Bibliographie
Typ des Eintrags: | Artikel |
---|---|
Erschienen: | 2020 |
Autor(en): | Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte |
Art des Eintrags: | Bibliographie |
Titel: | A calculus of concurrent graph-rewriting processes |
Sprache: | Englisch |
Publikationsjahr: | Januar 2020 |
Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Journal of Logical and Algebraic Methods in Programming |
Jahrgang/Volume einer Zeitschrift: | 110 |
DOI: | 10.1016/j.jlamp.2019.100500 |
URL / URN: | https://www.sciencedirect.com/science/article/pii/S235222081... |
Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik |
Hinterlegungsdatum: | 13 Nov 2019 14:25 |
Letzte Änderung: | 13 Nov 2019 14:25 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |