Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Karcher, David S."'
Publikováno v:
Logical Methods in Computer Science, Volume 14, Issue 1 (February 27, 2018) lmcs:4196
Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Up to now, such relationships have been static, i.e., they cannot change during a system run
Externí odkaz:
http://arxiv.org/abs/1801.02857
Autor:
Karcher, David S.
Published in print by Universitätsverlag der TU Berlin, ISBN 978-3-7983-2995-9, ISSN 2199-5249.
Event Structure were introduced in 1979 [18] as a formal model to connect the theory of Petri nets and domain theory. Originally they consisted of a
Event Structure were introduced in 1979 [18] as a formal model to connect the theory of Petri nets and domain theory. Originally they consisted of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0252ba213bd46cf8df0e8fb92aadec9
Autor:
Karcher, David S., Nestmann, Uwe
Publikováno v:
Theoretical Aspects of Computing - ICTAC 2015; 2015, p258-271, 14p