Deciding bisimilarity between BPA and BPP processes

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/57358

Title:	Deciding bisimilarity between BPA and BPP processes
Author:	Jančar, Petr Kučera, Antonín Moller, Faron
Date issue:	2003
Citation:	CONCUR 2003 - Concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings. 2003, p. 159-173. Lecture notes in computer science, vol. 2761.
URI:	http://hdl.handle.net/10084/57358
ISSN:	0302-9743
DOI:	10.1007/b11938
URI:	http://dx.doi.org/10.1007/b11938
ISBN:	978-3-540-40753-9
Type:	Article
Počet citací dokumentu:

Files	Size	Format	View
There are no files associated with this item.

Publikační činnost VŠB-TUO / Publications of VŠB-TUO [1667]
Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků VŠB-TUO v časopisech (a v Lecture Notes in Computer Science) registrovaných ve Web of Science od roku 1990 po současnost.
Publikační činnost Katedry informatiky / Publications of Department of Computer Science (460) [112]
Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků Katedry informatiky (460) v časopisech a v Lecture Notes in Computer Science registrovaných ve Web of Science od roku 2003 po současnost.