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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Semantics Engineering & Materials Science
Labels Engineering & Materials Science
Structural Operational Semantics Mathematics
Coalgebra Mathematics
Specifications Engineering & Materials Science
Graph in graph theory Mathematics
Linear equations Engineering & Materials Science
Multi agent systems Engineering & Materials Science

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

Research Output 2014 2019

  • 6 Article in proceedings
  • 4 Journal article
  • 3 Conference article
  • 2 Working paper

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

Semantics
Derivatives
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

Semantics
Derivatives
Chemical analysis

Communications in choreographies, revisited

Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, p. 1248-1255

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

Communication
Semantics

Loose Graph Simulations

Mansutti, A., Miculan, M. & Peressotti, M., 2018, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 109-126 (Lecture Notes in Computer Science, Vol. 10748).

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

Graph in graph theory
Regular Languages
Pattern Matching
Simulation
Subgraph

Deciding Weak Weighted Bisimulation

Miculan, M. & Peressotti, M., 2017, In : CEUR Workshop Proceedings. 1949, p. 126-137

Research output: Contribution to journalConference articleResearchpeer-review

Linear equations