Unique parallel decomposition for the π-calculus

Matias David Lee, Bas Luttik

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

1 Citation (Scopus)
24 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