Navegação Ciências Exatas e da Terra por Autor "Menezes, Paulo Fernando Blauth"
Resultados 1-4 de 4
-
A categorical framework for concurrent, anticipatory systems
(1998) [Artigo de periódico]A categorical semantic domain is constructed for Petri nets which satisfies the diagonal compositionality requirement with respect to anticipations, i.e., Petri nets are equipped with a compositional anticipation mechanism ... -
Composicionalidade de primitivas : uma abordagem categorial
(2002) [Artigo de periódico]Autômatos não-seqüenciais são apresentados como modelo semântico para a interpretação formal do conceito de primitiva em sistemas operacionais sob a ótica da Teoria das Categorias, Este modelo constitui originalmente um ... -
Marked petri nets within a categorial framework
(1995) [Artigo de periódico]Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set ... -
Teorias da Aleatoriedade
(2004) [Artigo de periódico]Este trabalho apresenta uma revisão bibliográfica sobre a definição de “seqüência aleatória”. Nós enfatizamos a definição de Martin-Löf e a definição baseada em incompressividade (complexidade de Kolmogorov). Complexidade ...
