Axiomatising Divergence

Markus Lohrey, Pedro R. D Argenio, Holger Hermanns. Axiomatising Divergence. In Peter Widmayer, Francisco Triguero Ruiz, Rafael Morales Bueno, Matthew Hennessy, Stephan Eidenbenz, Ricardo Conejo, editors, Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings. Volume 2380 of Lecture Notes in Computer Science, pages 585-596, Springer, 2002. [doi]

Authors

Markus Lohrey

This author has not been identified. Look up 'Markus Lohrey' in Google

Pedro R. D Argenio

This author has not been identified. Look up 'Pedro R. D Argenio' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google