Follow
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
332014
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
302015
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
262019
GSOS for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Quantitative Aspects of Programming Languages and Systems 154, 17--33, 2014
182014
Weak bisimulations for labelled transition systems weighted over semirings
M Miculan, M Peressotti
arXiv preprint arXiv:1310.4106, 2013
182013
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
172019
A uniform framework for timed automata
T Brengos, M Peressotti
27th International Conference on Concurrency Theory (CONCUR 2016) 59, 26:1 …, 2016
162016
Structural operational semantics for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Theoretical Computer Science 655, 135--154, 2016
162016
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
Choreographies as objects
S Giallorenzo, F Montesi, M Peressotti
arXiv preprint arXiv:2005.09520, 2020
102020
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
Formalising a Turing-complete choreographic language in Coq
L Cruz-Filipe, F Montesi, M Peressotti
arXiv preprint arXiv:2102.02627, 2021
92021
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
82020
Taking Linear Logic Apart
W Kokke, F Montesi, M Peressotti
Linearity & Trends in Linear Logic and Applications 292, 90-103, 2019
82019
Certifying choreography compilation
L Cruz-Filipe, F Montesi, M Peressotti
International Colloquium on Theoretical Aspects of Computing, 115-133, 2021
72021
Behavioural equivalences for timed systems
T Brengos, M Peressotti
Logical Methods in Computer Science 15, 2019
7*2019
On the bisimulation hierarchy of state-to-function transition systems
M Miculan, M Peressotti
ICTCS 2016, 2016
72016
Well-Stratified Linked Data for Well-Behaved Data Citation
D De Nart, D Degli'Innocenti, M Peressotti
Bulletin of IEEE Technical Committee on Digital Libraries 12 (4), 16--26, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20