Skip to content
cs-conference-ranking.org

Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes.

Richard Mayr

VenueA*ICALP
Year2003
ProceedingsICALP
DBLP recordconf/icalp/Mayr03 ↗

Browse the full ICALP paper archive.