Um Modelo Semântico Alternativo para Concorrência: Estudo de Caso para uma Linguagem de Especificação

This paper shows an alternative semantic model which may be used for describing the semantics of a concurrent specification language. Such a language must be built by integrating the event-based approach (such as CCS, CSP) with the state-based approach (such as Z, VDM). Instead of the CCS-based denotational model we use a variety-based behavioral approach to define the semantics of a concurrent specification language called Zag.