Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2005
Lohrey, M. and D'Argenio, P.R. and Hermanns, H.
(2005)
Axiomatising Divergence.
Information and computation, 203 (2).
pp. 115-144.
ISSN 0890-5401
*** ISI Impact 0,825 ***
2002
Lohrey, M. and D'Argenio, P.R. and Hermanns, H.
(2002)
Axiomatising Divergence.
In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002.
pp. 585-596.
Lecture Notes In Computer Science 2380.
Springer Verlag.
ISSN 0302-9743
ISBN 3-540-43864-5
1998
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||