"Comparing the Classes BPA and BPA with Deadlocks"@en . "Comparing the Classes BPA and BPA with Deadlocks"@en . . . "0"^^ . "1"^^ . "0"^^ . "N/A" . . "763788" . "1" . "[5AD481F531A7]" . . "CZ - \u010Cesk\u00E1 republika" . "Srba, Ji\u0159\u00ED" . "FIMU-RS-98-05" . "process algebra, deadlock, bisimulation"@en . . . "P(GA201/97/0456)" . "36"^^ . "RIV/00216224:14330/98:00001570" . . . . . "RIV/00216224:14330/98:00001570!RIV/2002/GA0/143302/N" . . . . "14330" . "Comparing the Classes BPA and BPA with Deadlocks" . "1998" . "N/A"@en . "Technical report, Faculty of Informatics, Masaryk University, Brno" . "Comparing the Classes BPA and BPA with Deadlocks" . . "1"^^ . "05" . .