Open Problems in Concurrency Theory - Inria - Institut national de recherche en sciences et technologies du numérique
N°Spécial De Revue/Special Issue Journal of Logical and Algebraic Methods in Programming Année : 2019

Open Problems in Concurrency Theory

Ilaria Castellani
Secure Diffuse Programming
Pedro D'Argenio
  • Fonction : Directeur de publication
Universidad Nacional de Córdoba [Argentina]
CONICET-UNC Córdoba Argentina
Mohammad Reza Mousavi
  • Fonction : Directeur de publication
King‘s College London
Ana Sokolova
  • Fonction : Directeur de publication
University of Salzburg

Résumé

This issue is the result of contributions to the research seminar Open Problems in Concurrency Theory, OPCT 2017 and associated discussions.

Domaines

Informatique [cs] Logique en informatique [cs.LO]

Valérie François  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03989754

Soumis le : mercredi 15 février 2023-07:47:55

Dernière modification le : mardi 29 octobre 2024-13:22:02

Fichier non déposé

Dates et versions

hal-03989754 , version 1 (15-02-2023)

Identifiants

  • HAL Id : hal-03989754 , version 1

Citer

Ilaria Castellani, Pedro D'Argenio, Mohammad Reza Mousavi, Ana Sokolova. Open Problems in Concurrency Theory. Journal of Logical and Algebraic Methods in Programming, 2019, Special issue of Journal of Logical and Algebraic Methods in Programming. ⟨hal-03989754⟩

Relations

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR
22 Consultations
0 Téléchargements

Partager

More