If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Marco Peressotti is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Structural Operational Semantics Mathematics
Coalgebra Mathematics
Graph in graph theory Mathematics
Regular Languages Mathematics
Pattern Matching Mathematics
Simulation Mathematics
Subgraph Mathematics
Equivalence Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2019

  • 8 Article in proceedings
  • 5 Journal article
  • 4 Working paper
  • 3 Conference article
95 Downloads (Pure)

Better Late Than Never: A Fully-abstract Semantics for Classical Processes

Kokke, W., Montesi, F. & Peressotti, M., 1. Jan 2019, In : Proc. ACM Program. Lang.. 3, POPL, p. 24:1-24:29 29 p., 24.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Semantics
Derivatives
Chemical analysis
10 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 journalJournal articleResearchpeer-review

Open Access
File
Semantics

No more, no less: A formal model for serverless computing

Gabbrielli, M., Giallorenzo, S., Lanese, I., Montesi, F., Peressotti, M. & Zingaro, S. P., 2019, Coordination Models and Languages. COORDINATION 2019. Riis Nielson, H. & Tuosto, E. (eds.). Springer, p. 148-157 (Lecture Notes in Computer Science, Vol. 11533).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Computer programming languages
Communication
8 Downloads (Pure)

Taking Linear Logic Apart

Kokke, W., Montesi, F. & Peressotti, M., 15. Apr 2019, Proceedings of the Joint International Workshop on Linearity Trends in linear Logic and Applications. Ehrhard, T., Fernández, M., de Paiva, V. & Tortora de Falco, L. (eds.). Open Publishing Association, Vol. 292. p. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 292).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Semantics
Network protocols
Chemical analysis

Better Late Than Never: A Fully Abstract Semantics for Classical Processes

Kokke, W., Montesi, F. & Peressotti, M., 6. Nov 2018.

Research output: Working paperResearch

Open Access
Semantics
Derivatives
Chemical analysis