Advanced topics in bisimulation and coinduction - Sangiorgi, Davide; Rutten, Johannes Josephus Martinus Matheus (New York : Cambridge University Press, 2012)
Puno ime 2. urednika: Johannes Josephus Martinus Matheus Rutten.
Bibliografija uz svaki rad.
Kazalo.
Keywords: Bisimulacija; Koindukcija (matematika); Modalna logika; Indukcija (logika); Računalstvo