Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6467
Título: | Generic process algebra: a programming challenge |
Autor(es): | Barbosa, L. S. Barbosa, Marco António Ribeiro, Paula R. |
Palavras-chave: | Process algebra Coinduction Coalgebra |
Data: | 2006 |
Editora: | Graz University of Technology. Institut für Informationssysteme und Computer Medien |
Revista: | Journal of Universal Computer Science |
Citação: | "Journal of universal computer science". 12:7 (2006) 922-937. |
Resumo(s): | Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application areas for process algebras. This, however, entails the need for more generic and adaptable approaches to their design. For example, some applications may require similar programming constructs coexisting with different interaction disciplines. In such a context, this paper pursues a research programme on a coinductive rephrasal of classic process algebra, proposing a clear separation between structural aspects and interaction disciplines. A particular emphasis is put on the study of interruption combinators defined by natural co-recursion. The paper also illustrates the verification of their properties in an equational and pointfree reasoning style as well as their direct encoding in Haskell |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/6467 |
ISSN: | 0948-695X |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
RBB06_lsb.pdf | Documento principal | 343,01 kB | Adobe PDF | Ver/Abrir |