Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Dorman, Andrei"'
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
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, 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
Autor:
Pedro R. D'Argenio, Hernan Melgratti
This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 34 revised full papers presented together with 4 invited talks