Diseño y análisis formal de sistemas de software
FADOSS
Scuola IMT Alti Studi Lucca
Lucca, ItaliaScuola IMT Alti Studi Lucca-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2014
-
Axiomatizing weak simulation semantics over BCCSP
Theoretical Computer Science, Vol. 537, Núm. C, pp. 42-71