• Aucun résultat trouvé

On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus"

Copied!
162
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Loading

Figure

Table 2.1: Operational semantics for the π-calculus.
Table 2.2: Operational semantics for the Aπ-calculus.
Table 2.3: Operational semantics for the finite CCS.
Figure 3.1: Termination-Preserving CCS ! Processes (CCS −ω ! ) in the Chomsky Hi-
+5

Références

Télécharger maintenant ( PDF - 162 Page - 0.90 MB )

Documents relatifs