20072019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingeraftryk Fingeraftryk er baseret på at anvende teksten fra personernes videnskabelige dokumenter til at skabe et indeks med vægtede emneordskoncepter, som definerer de vigtigste emner for hver enkelt forsker.

  • 3 Lignende profiler
Semantics Teknik og materialevidenskab
Computer programming languages Teknik og materialevidenskab
Communication Teknik og materialevidenskab
Electric circuit breakers Teknik og materialevidenskab
WSDL Teknik og materialevidenskab
Software architecture Teknik og materialevidenskab
Choreography Matematik
Programming Matematik

Netværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikationer 2007 2019

A core model for choreographic programming

Cruz-Filipe, L. & Montesi, F., 1 jan. 2019, I : Theoretical Computer Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Programming
Choreography
Canonical Model
Deadlock
Model
83 Downloads (Pure)

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

Kokke, W., Montesi, F. & Peressotti, M., 1 jan. 2019, I : Proc. ACM Program. Lang.. 3, POPL, s. 24:1-24:29 29 s., 24.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Semantics
Derivatives
Chemical analysis

Multiparty Classical Choreographies

Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A., 1 jan. 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (red.). Springer VS, s. 59-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11408 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Servers

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. (red.). Springer, s. 148-157 (Lecture Notes in Computer Science, Bind 11533).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Computer programming languages
Communication
6 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. (red.). Open Publishing Association, Bind 292. s. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 292).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Semantics
Network protocols
Chemical analysis

Projekter 2014 2017