@misc {IOPORT.70802784,
    author       = {Jancar, Petr},
    title        = {Strong bisimilarity on basic parallel processes is PSPACE-complete},
    howpublished = {LICS, 218- (2003).},
    year         = {2003},
    identifier   = {70802784},
}