Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 1995
Best, E. and Devillers, R. and Pelz, E. and Rensink, A. and Silva, M. and Teruel, E.
(1995)
CALIBAN - Esprit Basic Research WG 6067.
In: Structures in Concurrency Theory, Berlin, Germany.
pp. 2-31.
Workshops in Computing.
Springer Verlag.
ISBN 3-540-19982-9
Rensink, A.
(1995)
An Event-Based SOS for a Language with Refinement.
In: Structures in Concurrency Theory, Berlin, Germany.
pp. 294-309.
Workshops in Computing.
Springer Verlag.
ISBN 3-540-19982-9
This list was generated on Thu May 24 06:01:17 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||