CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007: proceedings / ed. L. Caires, V. T. Vasconcelos, 2007 r=on-line. - Текст : электронный.
Automata, languages and programming : 32nd international colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005: proceedings / ed. L. Caires, 2005 r=on-line. - Текст : электронный.