Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen | Hilfe |
Suche: Citkey="Froschle-Jancar-Lasota-Sawa/10" |
Information and Computation 208 (1), 2010, pp. 42-62
Editors | Albert R. Meyer | |
Publisher: | Elsevier B.V. | |
Address: | Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis | |
Keywords: | verification, equivalence checking, non-interleaving equivalences, labelled event structures, hereditary history preserving bisimilarity, history preserving bisimilarity, bisimulation equivalence, basic parallel processes | |
URL: |
http://www.sciencedirect.com/science/article/B6WGK-4WK488G-1/2/6a8b2c094fe6f26250c5792fac52dbfa | |