Skip to content

Comparing the expressiveness of the π-calculus and CCS.

Rob van Glabbeek

VenueAESOP
Year2022
ProceedingsESOP

Browse the full ESOP paper archive.