A carregar...

A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net

In distributed systems, the occurrence of an action can give information about the occurrence of other actions. This can be an unwanted situation when “high” actions of the system need to be kept secret, while allowing users to observe “low” actions. If it...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: Federica Adobbati, Gorkem Kilinc Soylu, Adrian Puerto Aubel
Formato: Artigo
Idioma:Inglês
Publicado em: IEEE 2022-01-01
Colecção:IEEE Access
Assuntos:
Acesso em linha:https://ieeexplore.ieee.org/document/9750090/
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!