Browsing Exact and Earth Sciences by Author "Menezes, Paulo Fernando Blauth"
Now showing items 1-4 of 4
-
A categorical framework for concurrent, anticipatory systems
Menezes, Paulo Fernando Blauth (1998) [Journal article]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
Costa, Simone Andre da; Machado, Julio Henrique Araujo Pereira; Menezes, Paulo Fernando Blauth (2002) [Journal article]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
Menezes, Paulo Fernando Blauth (1995) [Journal article]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
Campani, Carlos Antonio Pereira; Menezes, Paulo Fernando Blauth (2004) [Journal article]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 ...