Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 1998
Etalle, S. and Gabbrielli, M. and Meo, M.C.
(1998)
Unfold/Fold Transformations of CCP Programs.
In: 9th Int. Conf. Concurrency Theory (CONCUR), Nice, France.
pp. 348-365.
Springer-Verlag.
ISBN 3-540-64896-8
Hermanns, H. and Lohrey, M.
(1998)
Priority and Maximal Progress are completely axiomatisable.
In: CONCUR'98 Concurrency Theory, September 8-11, 1998, Nice, France.
pp. 237-252.
Lecture Notes in Computer Science 1446.
Springer Verlag.
ISBN 3-540-64896-8
This list was generated on Thu May 24 08:03:32 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||