A Look Around the Corner: The Pi-Calculus

Puhlmann, F.; Weske, M.

(2009) [Beitrag zu einem Tagungsband]

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220982