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 ...