Zobrazit minimální záznam

dc.contributor.authorFröschle, Sibylle
dc.contributor.authorJančar, Petr
dc.contributor.authorLasota, Slawomir
dc.contributor.authorSawa, Zdeněk
dc.date.accessioned2009-12-07T12:33:52Z
dc.date.available2009-12-07T12:33:52Z
dc.date.issued2010
dc.identifier.citationInformation and computation. 2010, vol. 208, issue 1, p. 42-62.en
dc.identifier.issn0890-5401
dc.identifier.urihttp://hdl.handle.net/10084/77202
dc.description.abstractWe show polynomial time algorithms for deciding hereditary history preserving bisimilarity (in O(n3logn)) and history preserving bisimilarity (in O(n6)) on the class Basic Parallel Processes. The latter algorithm also decides a number of other non-interleaving behavioural equivalences (e.g., distributed bisimilarity) which are known to coincide with history preserving bisimilarity on this class. The common general scheme of both algorithms is based on a fixpoint characterization of the equivalences for tree-like labelled event structures. The technique for realizing the greatest fixpoint computation in the case of hereditary history preserving bisimilarity is based on the revealed tight relationship between equivalent tree-like labelled event structures. In the case of history preserving bisimilarity, a technique of deciding classical bisimilarity on acyclic Petri nets is used.en
dc.language.isoenen
dc.publisherElsevieren
dc.relation.ispartofseriesInformation and computationen
dc.relation.urihttp://dx.doi.org/10.1016/j.ic.2009.06.001en
dc.subjectverificationen
dc.subjectequivalence checkingen
dc.subjectnon-interleaving equivalencesen
dc.subjectlabelled event structuresen
dc.subjecthereditary history preserving bisimilarityen
dc.subjecthistory preserving bisimilarityen
dc.subjectbisimulation equivalenceen
dc.subjectbasic parallel processesen
dc.titleNon-interleaving bisimulation equivalences on Basic Parallel Processesen
dc.typearticleen
dc.identifier.locationNení ve fondu ÚKen
dc.identifier.doi10.1016/j.ic.2009.06.001
dc.identifier.wos000272035700003


Soubory tohoto záznamu

SouboryVelikostFormátZobrazit

K tomuto záznamu nejsou připojeny žádné soubory.

Tento záznam se objevuje v následujících kolekcích

Zobrazit minimální záznam