Sfoglia per Autore
Weak bisimulations for labelled transition systems weighted over semirings
2013-01-01 Miculan, Marino; Peressotti, Marco
A CSP implementation of the bigraph embedding problem
2014-01-01 Miculan, Marino; Peressotti, Marco
Structural operational semantics for non-deterministic processes with quantitative aspects
2014-01-01 Miculan, Marino; Peressotti, Marco
GSOS for non-deterministic processes with quantitative aspects
2014-01-01 Miculan, Marino; Peressotti, Marco
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems
2014-01-01 Alessio, Mansutti; Miculan, Marino; Peressotti, Marco
Towards distributed bigraphical reactive systems
2014-01-01 Mansutti, Alessio; Peressotti, Marco; Miculan, Marino
Distributed execution of bigraphical reactive systems
2015-01-01 Mansutti, Alessio; Miculan, Marino; Peressotti, Marco
Behavioural equivalences for coalgebras with unobservable moves
2015-01-01 Brengos, Tomasz; Miculan, Marino; Peressotti, Marco
Open transactions on shared memory
2015-01-01 Miculan, Marino; Peressotti, Marco; Toneguzzo, Andrea
On the bisimulation hierarchy of state-to-function transition systems
2016-01-01 Miculan, Marino; Peressotti, Marco
Structural operational semantics for non-deterministic processes with quantitative aspects
2016-01-01 Miculan, Marino; Peressotti, Marco
Deciding weak weighted bisimulation
2017-01-01 Miculan, Marino; Peressotti, Marco
Coalgebraic semantics of self-referential behaviours
2017-04-03 Peressotti, Marco
Loose Graph Simulations
2018-01-01 Mansutti, Alessio; Miculan, Marino; Peressotti, Marco
Computing Embeddings of Directed Bigraphs
2020-01-01 Chiapperini, A.; Miculan, M.; Peressotti, M.
Software transactional memory with interactions
2020-01-01 Miculan, M.; Peressotti, M.
Towards a formal model for composable container systems
2020-01-01 Burco, F.; Miculan, M.; Peressotti, M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile