Buscar
Mostrando ítems 1-1 de 1
Descripción sintetizable de alto nivel para sistemas digitales asíncronos con redes de Petri
(Universidad Inca Garcilaso de la Vega, 2009-11)
Acceso abierto
Este documento presenta una forma de realizar la detección de finalización de procesos, para sistemas digitales asíncronos. Para ello se muestran resultados del estudio del protocolo de dos fases “dual rail”. También se ...