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.

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

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

Publikationer 2014 2019

  • 8 Konferencebidrag i proceedings
  • 5 Tidsskriftartikel
  • 4 Working paper
  • 3 Konferenceartikel
135 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
17 Downloads (Pure)

Behavioural equivalences for timed systems

Brengos, T. & Peressotti, M., 28. feb. 2019, I : Logical Methods in Computer Science. 15, 1, s. 17:1-17:41 41 s., 17.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
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. (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
45 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

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

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

Publikation: Working paperForskning

Semantics
Derivatives
Chemical analysis