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

Research Output 2007 2020

Filter
Journal article
2020

A core model for choreographic programming

Cruz-Filipe, L. & Montesi, F., 8. Jan 2020, In : Theoretical Computer Science. 802, p. 38-66 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Programming
Choreography
Canonical Model
Deadlock
Model
2019
155 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
2018
63 Downloads (Pure)

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

File
Semantics
Choreography
Proof Theory
Distributed Systems
Programming
2017

Multiparty session types as coherence proofs

Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In : Acta Informatica. 54, 3, p. 243-269

Research output: Contribution to journalJournal articleResearchpeer-review

Communication
2016

Process-aware web programming with Jolie

Montesi, F., 2016, In : Science of Computer Programming. 130, p. 69-96

Research output: Contribution to journalJournal articleResearchpeer-review

2009

Dynamic Error Handling in Service Oriented Applications

Guidi, C., Lanese, I., Montesi, F. & Zavattaro, G., 2009, In : Fundam. Inform.. 95, 1, p. 73-102 30 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2007

JOLIE: a Java Orchestration Language Interpreter Engine

Montesi, F., Guidi, C., Lucchi, R. & Zavattaro, G., 2007, In : Electr. Notes Theor. Comput. Sci.. 181, p. 19-33 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review