Lee, Matias David

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-3 de 3

Artículo A general SOS theory for the specification of probabilistic transition systems

D'argenio, Pedro Ruben ; Gebler, Daniel; Lee, Matias David (Academic Press Inc Elsevier Science, 2016-03)
Artículo Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

D'argenio, Pedro Ruben ; Gebler, Daniel; Lee, Matias David (Springer Verlag Berlín, 2014-04)
Artículo Describing secure interfaces with interface automata

Lee, Matias David ; D'argenio, Pedro Ruben (Elsevier, 2010-08)

Mostrando ítems 1-3 de 3