Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten.
    Cambridge : Cambridge University Press, 2012. XIII, 326 s. : il. ; 24 cm.
    (Cambridge Tracts in Theoretical Computer Science ; 52)
    (Cambridge Tracts in Theoretical Computer Science ISSN 0956-9103 52)
    ISBN 978-1-107-00497-9

   
T.17901        UKD: 004.62:512:004.94](075.8)=111