Marco Peressotti
Title
Cited by
Cited by
Year
Multi-agent systems design and prototyping with bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
Ifip international conference on distributed applications and interoperable …, 2014
312014
Behavioural equivalences for coalgebras with unobservable moves
T Brengos, M Miculan, M Peressotti
Journal of Logical and Algebraic Methods in Programming 84 (6), 826-852, 2015
272015
Better late than never: a fully-abstract semantics for classical processes
W Kokke, F Montesi, M Peressotti
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
192019
GSOS for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Quantitative Aspects of Programming Languages and Systems 154, 17--33, 2014
172014
Weak bisimulations for labelled transition systems weighted over semirings
M Miculan, M Peressotti
arXiv preprint arXiv:1310.4106, 2013
172013
No More, No Less - A formal model for serverless computing
M Gabbrielli, S Giallorenzo, I Lanese, F Montesi, M Peressotti, SP Zingaro
International Conference on Coordination Languages and Models, 148-157, 2019
152019
A uniform framework for timed automata
T Brengos, M Peressotti
27th International Conference on Concurrency Theory (CONCUR 2016) 59, 26:1 …, 2016
152016
Structural operational semantics for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Theoretical Computer Science 655, 135--154, 2016
142016
Distributed execution of bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
Electronic Communications of the EASST 71 (Graph Computation Models 2014), 2015
122015
A CSP implementation of the bigraph embedding problem
M Miculan, M Peressotti
First International Workshop on Meta Models for Process Languages, At Berlin, 2014
112014
Towards distributed bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
GCM 2014, 45, 2014
102014
Bigraphs reloaded: a presheaf presentation
M Miculan, M Peressotti
University of Udine, 2013
10*2013
Taking Linear Logic Apart
W Kokke, F Montesi, M Peressotti
Linearity & Trends in Linear Logic and Applications 292, 90-103, 2019
62019
Behavioural equivalences for timed systems
T Brengos, M Peressotti
Logical Methods in Computer Science 15, 2019
62019
On the bisimulation hierarchy of state-to-function transition systems
M Miculan, M Peressotti
ICTCS 2016, 2016
62016
Choreographies as objects
S Giallorenzo, F Montesi, M Peressotti
arXiv preprint arXiv:2005.09520, 2020
52020
Towards a Formal Model for Composable Container Systems
F Burco, M Miculan, M Peressotti
Proceedings of the 35rd Annual ACM Symposium on Applied Computing, SAC 2020 …, 2020
42020
Coalgebraic semantics of self-referential behaviours
M Peressotti
University of Udine, 2017
42017
Open transactions on shared memory
M Miculan, M Peressotti, A Toneguzzo
International Conference on Coordination Languages and Models, 213-229, 2015
42015
Classical transitions
F Montesi, M Peressotti
arXiv preprint arXiv:1803.01049, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20