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

Show full item record


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
Access rights: Fulltext Request
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