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

Identifikationsnummern