CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005 San Francisco, Ca, USA, August 23-26, 2005: proceedings / ed. M. Abadi, 2005 r=on-line. - Текст : электронный.