Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36069
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Barbosa, L. S. | por |
dc.contributor.author | Oliveira, José Nuno Fonseca | por |
dc.date.accessioned | 2015-07-13T14:46:39Z | - |
dc.date.available | 2015-07-13T14:46:39Z | - |
dc.date.issued | 2002 | - |
dc.identifier.isbn | 3540442332 | por |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/36069 | - |
dc.description.abstract | This paper suggests functional programming languages with coinductive types as suitable devices for prototyping process calculi. The proposed approach is independent of any particular process calculus and makes explicit the different ingredients present in the design of any such calculi. In particular structural aspects of the underlying behaviour model (e.g. the dichotomies such as active vs reactive, deterministic vs nondeterministic) become clearly separated from the interaction structure which defines the synchronisation discipline. The approach is illustrated by the detailed development in Charity of an interpreter for a family of process languages. | por |
dc.description.sponsorship | (undefined) | por |
dc.language.iso | eng | por |
dc.publisher | Springer Verlag | por |
dc.rights | openAccess | por |
dc.subject | Functional programming | por |
dc.subject | Applications | por |
dc.subject | Coinductive types | por |
dc.title | Coinductive interpreters for process calculi | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.comments | 1324 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 1 | por |
oaire.citationEndPage | 19 | por |
oaire.citationVolume | 2441 | por |
dc.publisher.uri | Springer | por |
dc.identifier.doi | 10.1007/3-540-45788-7 | por |
sdum.journal | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | por |
Aparece nas coleções: |