Polarized Process Algebra and Program Equivalence

Autor:	Bergstra, J.A., Bethke, I., Baeten, Jos C.M., Lenstra, Jan Karel, Parrow, Joachim, Woeginger, Gerhard J.
Přispěvatelé:	Theory of Computer Science (IVI, FNWI)
Rok vydání:	2003
Zdroj:	Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, 2719, 1-21
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=narcis______::b122732641f7549ee55c8ecfdf80ef83 https://dare.uva.nl/personal/pure/en/publications/polarized-process-algebra-and-program-equivalence(d760b502-1f2d-4941-8fb6-74af62cfe959).html Zobrazit plný text záznamu