Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Dorman, Andrei"'
Autor:
Dorman, Andrei
Ce travail est une étude approfondie de la concurrence dans les extensions non-déterministes des réseaux d'interaction de Lafont (langage graphique qui représente, lui, le calcul fonctionnel). Ces extensions sont de trois sortes : les réseaux mu
Autor:
Dorman, Andrei, Heindel, Tobias
Publikováno v:
EPTCS 59, 2011, pp. 37-51
Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in general. Hence
Externí odkaz:
http://arxiv.org/abs/1108.0465
Autor:
Dorman, Andrei, Mazza, Damiano
Publikováno v:
CONCUR 2013 - Concurrency Theory; 2013, p197-211, 15p
Publikováno v:
Scientific Annals of Computer Science; 2012, Vol. 22 Issue 1, p105-145, 41p, 17 Diagrams, 2 Charts