20072019
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
Computer programming languages Engineering & Materials Science
Communication Engineering & Materials Science
Electric circuit breakers Engineering & Materials Science
WSDL Engineering & Materials Science
Software architecture Engineering & Materials Science
Web services Engineering & Materials Science
Packaging Engineering & Materials Science

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

Research Output 2007 2019

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

Applied choreographies

Giallorenzo, S., Montesi, F. & Gabbrielli, M., 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Proceedings. Baier, C. & Caires, L. (eds.). Springer, p. 21-40 (Lecture Notes in Computer Science, Vol. 10854).

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

Communication
Semantics
Concretes

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

Choreographies, logically

Carbone, M., Montesi, F. & Schürmann, C., 2018, In : Distributed Computing. 31, 1, p. 51-67

Research output: Contribution to journalJournal articleResearchpeer-review

Semantics
Choreography
Proof Theory
Distributed Systems
Programming

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

Projects 2014 2017

DFF - FTP Choreographies for Reliable and efficient Communication Software (CRC)

Montesi, F.

01/08/201431/07/2017

Project: ResearchDanish Public Sources

Press / Media

Professor: Vigtigt projekt for fremtiden

Fabrizio Montesi

19/02/2018

1 media contribution

Press/Media: Press / Media

Hack your way through the microservices revolution

Fabrizio Montesi

31/03/2015

1 media contribution

Press/Media: Press / Media