A Look Around the Corner: The Pi-Calculus

Puhlmann, F.; Weske, M.

(2009)
Contribution to a conference proceedings

In: Transactions on Petri Nets and Other Models of Concurrency II. - 5460
Page(s)/Article-Nr.: 64-78

Identifier