Patrocinado Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
En esta edición especializada se examinan modelos de concurrencia y redes Petri aplicados a sistemas informáticos conscientes de procesos, presentando análisis formal, verificación y optimización de flujos concurrentes en entornos complejos.