TY - GEN
AU - Mezzina, Claudio Antares
AU - Grenoble
AU - Università degli studi (Bologne, Italie)
AU - Stefani, Jean-Bernard
AU - Sangiorgi, Davide
TI - Réversibilité dans le pi calcul d'ordre supérieur ; concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility
KW - Réversibilité
KW - Expressiveness of reversibility
KW - Process calculi
KW - Concurrency theory
KW - Expressivité de la réversibilité
KW - Calcul de processus
KW - Théorie de la concurrence
KW - Reversibility
KW - Reversible computing
KW - Programmation réversible
PY - 2012-02-07
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation