| Autor: |
Hirschkoff, Daniel |
| Přispěvatelé: |
Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'informatique du parallélisme, Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL) |
| Jazyk: |
angličtina |
| Rok vydání: |
2003 |
| Předmět: |
|
| Zdroj: |
[Research Report] LIP RR-2003-13, Laboratoire de l'informatique du parallélisme. 2003, 2+15p |
| Popis: |
This document collects some important results about the theory of Milner's pi-calculus and related formalisms. We present the syntax and semantics of a monadic calculus, and discuss type systems and the most commonly used notions of behavioural equivalences. Pi-calculus dialects are also briefly introduced, as well as several encodings of the lambda-calculus.; Ce document rassemble quelques résultats essentiels de la théorie du π calcul de Milner. Nous présentons la syntaxe et la sémantique opérationnelle d’un calcul monadique, et discutons différentes sortes de systèmes de types et d’équivalences comportementales pour le π-calcul. Nous nous intéressons également au problème de l’encodage du λ-calcul, et présentons brièvement différents dialectes du π-calcul. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
