Publikationer pr. år
Publikationer pr. år
Publikationer
- 5 resultater
Søgeresultater
-
2020
A graph-based tool to embed the π-calculus into a computational DPO framework
Andersen, J. L., Hellmuth, M., Merkle, D., Nøjgaard, N. & Peressotti, M., 8. mar. 2020, I: CEUR Workshop Proceedings. 2568, s. 121-132Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil19 Downloads (Pure) -
Software transactional memory with interactions
Miculan, M. & Peressotti, M., 2020, I: CEUR Workshop Proceedings. 2756, s. 67-80Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil9 Downloads (Pure) -
2017
Deciding Weak Weighted Bisimulation
Miculan, M. & Peressotti, M., 2017, I: CEUR Workshop Proceedings. 1949, s. 126-137Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil40 Downloads (Pure) -
2016
On the bisimulation hierarchy of state-to-function transition systems
Miculan, M. & Peressotti, M., 1. jan. 2016, I: CEUR Workshop Proceedings. 1720, s. 88-102 15 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
-
2014
GSOS for non-deterministic processes with quantitative aspects
Miculan, M. & Peressotti, M., 1. jan. 2014, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 154, s. 17-33 17 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review