Listar por tema "Autómatas"
Mostrando ítems 1-1 de 1
-
Implementation of causal control operators to detect distributed events
(Universidad Escuela Colombiana de Ingeniería Julio GaravitoUniversidad de los AndesUniversidad IcesiBogotá (Colombia), 2016)This paper discusses the design and implementation of three operators to control and predicate about causality relation between events in a distributed system. Concretely, we start from KETAL, a kernel conceived to detect ...