"1"^^ . . "0"^^ . "1"^^ . "Deadlocking States in Context-Free Process Algebra" . "Srba, Ji\u0159\u00ED" . "10"^^ . . "Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98)" . "Deadlocking States in Context-Free Process Algebra"@en . . "1998-01-01+01:00"^^ . "N/A" . "Deadlocking States in Context-Free Process Algebra" . "764554" . . . "388" . . "[3CC7FF0E3B39]" . . . . "P(GA201/97/0456)" . . "RIV/00216224:14330/98:00000699" . . "Deadlocking States in Context-Free Process Algebra"@en . "Heidelberg" . "Heidelberg" . "Springer-Verlag" . . . "RIV/00216224:14330/98:00000699!RIV/2002/GA0/143302/N" . . . . "BPA, process, deadlock, bisimulation"@en . . "14330" . "N/A"@en . "0"^^ .