Behavioural equivalences on finite-state systems are PTIME-hard

dc.contributor.author	Sawa, Zdeněk
dc.contributor.author	Jančar, Petr
dc.date.accessioned	2006-10-04T13:03:56Z
dc.date.available	2006-10-04T13:03:56Z
dc.date.issued	2005
dc.identifier.citation	Computing and Informatics. 2005, vol. 24, no. 5, p. 513-528.	en
dc.identifier.issn	1335-9150
dc.identifier.uri	http://hdl.handle.net/10084/56836
dc.description.abstract	The paper shows a LOGSPACE-reduction from the Boolean circuit value problem which demonstrates that any relation subsuming bisimilarity and being subsumed by trace preorder (ie, language inclusion) is PTIME-hard, even for finite acyclic labelled transition systems. This reproves and substantially extends the result of Balcazar, Gabarro and Santha (1992) for bisimilarity.	en
dc.language.iso	en	en
dc.publisher	Slovenská akadémia vied. Ústav informatiky	en
dc.relation.ispartofseries	Computing and Informatics	en
dc.subject	verification	en
dc.subject	finite transition systems	en
dc.subject	bisimulation equivalence	en
dc.subject	trace equivalence	en
dc.subject	computational complexity	en
dc.subject	PTIME-hardness	en
dc.title	Behavioural equivalences on finite-state systems are PTIME-hard	en
dc.type	article	en
dc.identifier.location	Ve fondu ÚK	en
dc.identifier.wos	000235545600005

Soubory tohoto záznamu

Soubory	Velikost	Formát	Zobrazit
K tomuto záznamu nejsou připojeny žádné soubory.

Publikační činnost VŠB-TUO ve Web of Science / Publications of VŠB-TUO in Web of Science [7798]
Kolekce obsahuje bibliografické záznamy článků akademických pracovníků VŠB-TUO publikovaných v časopisech indexovaných ve Web of Science od roku 1990 po současnost.
Publikační činnost Katedry informatiky / Publications of Department of Computer Science (460) [562]
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.