Research output per year
Research output per year
Personal profile
Research areas
- Programming Languages And formal Models
- Software Methodology
Fingerprint
Fingerprints are formed from scientific publications and create an index of weighted keyword concepts for each individual researcher.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Better Late Than Never: A Fully-abstract Semantics for Classical Processes
Kokke, W., Montesi, F. & Peressotti, M., 1. Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, p. 24:1-24:29 29 p., 24.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile236 Downloads (Pure) -
Behavioural equivalences for timed systems
Brengos, T. & Peressotti, M., 28. Feb 2019, In: Logical Methods in Computer Science. 15, 1, p. 17:1-17:41 41 p., 17.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile47 Downloads (Pure) -
Computing (optimal) embeddings of directed bigraphs
Chiapperini, A., Miculan, M. & Peressotti, M., 1. Sep 2022, In: Science of Computer Programming. 221, 31 p., 102842.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile5 Downloads (Pure) -
Functional Choreographic Programming
Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer Science+Business Media, p. 212-237 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Model-driven generation of microservice interfaces: From LEMMA domain models to Jolie APIs
Giallorenzo, S., Montesi, F., Peressotti, M. & Rademacher, F., 2022, Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. ter Beek, M. H. & Sirjani, M. (eds.). Springer Science+Business Media, p. 223-240 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13271 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Activities
-
A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (Guest lecturer)
17. Sep 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
Choreographies as objects: programming multiparty protocols with Choral
Marco Peressotti (Guest lecturer)
17. Sep 2020Activity: Talks and presentations › Conference presentations
-
Introduction to Formal Methods
Marco Peressotti (Guest lecturer)
26. Aug 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
A logical reconstruction of the π-calculus and its behavioural theory
Marco Peressotti (Guest lecturer)
25. Feb 2020Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
University of Glasgow
Marco Peressotti (Visiting researcher)
23. Feb 2020 → 29. Feb 2020Activity: Visiting another research institution
Prizes
-
Distinguished Paper Award
Giallorenzo, Saverio (Recipient), Montesi, Fabrizio (Recipient), Peressotti, Marco (Recipient), Salvaneschi, Guido (Recipient), Weisenburger, Pascal (Recipient) & Richter, David (Recipient), 2021
Prize: Prizes, scholarships, distinctions