Unique parallel decomposition for the π-calculus

Matias David Lee, Bas Luttik

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
20 Downloads (Pure)
Original languageEnglish
Title of host publicationCombined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2016)
EditorsDaniel Gebler, Kirstin Peters
PublisherEPTCS
Pages45-59
Number of pages16
Volume222
Publication statusPublished - 2016

Cite this

Lee, M. D., & Luttik, B. (2016). Unique parallel decomposition for the π-calculus. In D. Gebler, & K. Peters (Eds.), Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2016) (Vol. 222, pp. 45-59). EPTCS.