Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33814
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2015-02-12T11:30:23Z | - |
dc.date.available | 2015-02-12T11:30:23Z | - |
dc.date.issued | 2001 | - |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | https://hdl.handle.net/1822/33814 | - |
dc.description.abstract | This paper is an attempt to apply the reasoning principles and calculational style underlying the so-called Bird-Meertens formalism to the design of process calculi, parametrized by a behaviour model. In particular, basically equational and pointfree proofs of process properties are given, relying on the universal characterisation of anamorphisms and therefore avoiding the explicit construction of bisimulations. The developed calculi can be directly implemented on a functional language supporting coinductive types, which provides a convenient way to prototype processes and assess alternative design decisions. | por |
dc.description.sponsorship | (undefined) | por |
dc.language.iso | eng | por |
dc.publisher | Elsevier 1 | por |
dc.rights | openAccess | por |
dc.title | Process Calculi à la Bird-Meertens | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.comments | 1323 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 47 | por |
oaire.citationEndPage | 66 | por |
oaire.citationIssue | 1 | por |
oaire.citationTitle | Electronic Notes in Theoretical Computer Science | por |
oaire.citationVolume | 44 | por |
dc.publisher.uri | Elsevier | por |
dc.identifier.doi | 10.1016/S1571-0661(04)80902-2 | por |
sdum.journal | Electronic Notes in Theoretical Computer Science | por |
dc.subject.acm | TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | - |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |