Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2001
Gorrieri, R. and Rensink, A.
(2001)
Action Refinement.
In:
Handbook of Process Algebra.
Elsevier, Amsterdam, pp. 1047-1146.
ISBN 978-0-444-82830-9
1995
D'Argenio, P.R. and Mauw, S.
(1995)
Delayed choice for process algebra with abstraction.
In: Proceedings of the 6th International Conference on Concurrency Theory CONCUR 95, Philadelphia,United States.
pp. 501-515.
Lecture Notes in Computer Science 962.
Springer Verlag.
ISBN 3-540-60218-6
Brinksma, H. and Rensink, A. and Vogler, W.
(1995)
Fair Testing.
In: Concurrency Theory (CONCUR), Long Island, USA.
pp. 313-327.
Lecture Notes in Computer Science 962.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-60218-7
Rensink, A.
(1995)
A Theory of Deterministic Event Structures.
In: Concurrency Theory (CONCUR), Long Island, USA.
pp. 160-174.
Lecture Notes in Computer Science 962.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-60218-7
This list was generated on Thu May 24 08:14:46 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||