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

Institutions

  • Chair of Computer Science 9 (Process and Data Science) [122510]
  • Department of Computer Science [120000]

Identifier