Skip to content

Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete.

Petr Jancar

VenueA*LICS
Year2003
ProceedingsLICS

Browse the full LICS paper archive.