Non-interleaving bisimulation equivalences on Basic Parallel Processes

DSpace/Manakin Repository

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

Show full item record


Title: Non-interleaving bisimulation equivalences on Basic Parallel Processes
Author: Fröschle, Sibylle
Jančar, Petr
Lasota, Slawomir
Sawa, Zdeněk
Date issue: 2010
Citation: Information and computation. 2010, vol. 208, issue 1, p. 42-62.
URI: http://hdl.handle.net/10084/77202
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.06.001
URI: http://dx.doi.org/10.1016/j.ic.2009.06.001
Type: article
Počet citací dokumentu:

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics