A Look Around the Corner: The Pi-Calculus

Puhlmann, F.; Weske, M.

(2009)
Beitrag zu einem Tagungsband

In: Transactions on Petri Nets and Other Models of Concurrency II. - 5460
Seite(n)/Artikel-Nr.: 64-78

Einrichtungen

• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
• Fachgruppe Informatik [120000]