deutsch
english
Publikationsansicht
43447872
Linearization in parallel pCRL (2001)
J. F. Groote
,
A. Ponse
,
Y. S. Usenko
,
Issn -x
,
Jan Friso Groote
,
Alban Ponse
,
Yaroslav S. Usenko
Abstract
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Details der Publikation
Download
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.8164
Quelle
http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0019.pdf
Mitarbeiter
CiteSeerX
Archiv
CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords
µCRL, Process Algebra, Linearization of Recursive Specifications
Typ
text
Sprache
Englisch
Verknüpfungen
10.1.1.108.9870, 10.1.1.25.1290, 10.1.1.103.129, 10.1.1.139.542, 10.1.1.126.8470, 10.1.1.12.9447, 10.1.1.109.858, 10.1.1.101.8959, 10.1.1.103.604, 10.1.1.105.8562, 10.1.1.74.2744, 10.1.1.81.5699, 10.1.1.26.684, 10.1.1.28.8550, 10.1.1.20.9022, 10.1.1.23.9916