Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35293
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Bonchi, Filippo | por |
dc.contributor.author | Milius, Stefan | por |
dc.contributor.author | Silva, Alexandra M. | por |
dc.contributor.author | Zanasi, Fabio | por |
dc.date.accessioned | 2015-05-26T15:41:19Z | - |
dc.date.available | 2015-05-26T15:41:19Z | - |
dc.date.issued | 2014 | - |
dc.identifier.isbn | 9783662441237 | por |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/35293 | - |
dc.description.abstract | We propose an abstract framework for modeling state-based systems with internal behavior as e.g. given by silent or ϵ-transitions. Our approach employs monads with a parametrized fixpoint operator † to give a semantics to those systems and implement a sound procedure of abstraction of the internal transitions, whose labels are seen as the unit of a free monoid. More broadly, our approach extends the standard coalgebraic framework for state-based systems by taking into account the algebraic structure of the labels of their transitions. This allows to consider a wide range of other examples, including Mazurkiewicz traces for concurrent systems. | por |
dc.description.sponsorship | Funded by the ERDF through the Programme COMPETE and by the Portuguese Foundation for Science and Technology, project ref. FCOMP-01-0124-FEDER-020537 and SFRH/BPD/71956/2010. Acknowledge support by project ANR 12IS0 2001 PACE. | por |
dc.language.iso | eng | por |
dc.publisher | Springer Verlag | por |
dc.relation | info:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBPD%2F71956%2F2010/PT | - |
dc.rights | openAccess | por |
dc.title | How to kill epsilons with a dagger: a coalgebraic take on systems with algebraic label structure | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.comments | 2017 | por |
sdum.publicationstatus | published | por |
oaire.citationConferenceDate | 05 - 06 abr. 2014 | - |
sdum.event.title | CMCS - Coalgebraic Methods in Computer Science, 2014 | - |
oaire.citationStartPage | 1 | por |
oaire.citationEndPage | 35 | por |
oaire.citationVolume | 8446 LNCS | por |
dc.publisher.uri | Springer | por |
dc.identifier.doi | 10.1007/978-3-662-44124-4_4 | por |
dc.subject.fos | Ciências Naturais::Matemáticas | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
sdum.journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | - |
Aparece nas coleções: |