PERESSOTTI, Marco

PERESSOTTI, Marco  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
Behavioural equivalences for coalgebras with unobservable moves 1-gen-2015 Brengos, Tomasz; Miculan, Marino; Peressotti, Marco
Coalgebraic semantics of self-referential behaviours 3-apr-2017 Peressotti, Marco
Computing Embeddings of Directed Bigraphs 1-gen-2020 Chiapperini, A.; Miculan, M.; Peressotti, M.
A CSP implementation of the bigraph embedding problem 1-gen-2014 Miculan, Marino; Peressotti, Marco
Deciding weak weighted bisimulation 1-gen-2017 Miculan, Marino; Peressotti, Marco
Distributed execution of bigraphical reactive systems 1-gen-2015 Mansutti, Alessio; Miculan, Marino; Peressotti, Marco
GSOS for non-deterministic processes with quantitative aspects 1-gen-2014 Miculan, Marino; Peressotti, Marco
Loose Graph Simulations 1-gen-2018 Mansutti, Alessio; Miculan, Marino; Peressotti, Marco
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems 1-gen-2014 Alessio, Mansutti; Miculan, Marino; Peressotti, Marco
On the bisimulation hierarchy of state-to-function transition systems 1-gen-2016 Miculan, Marino; Peressotti, Marco
Open transactions on shared memory 1-gen-2015 Miculan, Marino; Peressotti, Marco; Toneguzzo, Andrea
Software transactional memory with interactions 1-gen-2020 Miculan, M.; Peressotti, M.
Structural operational semantics for non-deterministic processes with quantitative aspects 1-gen-2014 Miculan, Marino; Peressotti, Marco
Structural operational semantics for non-deterministic processes with quantitative aspects 1-gen-2016 Miculan, Marino; Peressotti, Marco
Towards a formal model for composable container systems 1-gen-2020 Burco, F.; Miculan, M.; Peressotti, M.
Towards distributed bigraphical reactive systems 1-gen-2014 Mansutti, Alessio; Peressotti, Marco; Miculan, Marino
Weak bisimulations for labelled transition systems weighted over semirings 1-gen-2013 Miculan, Marino; Peressotti, Marco