01465cam a2200301 a 4500
AR_CdUFM
20160519160719.0
110629s2012 enka b 001 0 eng
9781107003637
DLC
DLC
DLC
AR_CdUFM
Sangiorgi, Davide,
1964-
An introduction to bisimulation and coinduction /
Davide Sangiorgi.
Cambridge ;
New York :
Cambridge University,
c2012.
xii, 247 p. :
il. ;
25 cm.
Incluye referencias bibliográficas (p 235-243) e índice.
Towards bisimulation -- Coinduction and the duality with induction -- Algebraic properties of bisimilarity -- Processes with internal activities -- Other approaches to behavioural equivalences -- Refinements of simulation -- Basic observables.
Ciencia y Técnica de Edwin Ventura Oscanova ;
Logics and meanings of programs.
Mathematical logic.
Formal languages.
Lógica y significado de programas.
Lógica matemática.
Lenguajes formales.
Publisher description
http://www.loc.gov/catdir/enhancements/fy1113/2011027492-d.html
Table of contents only
http://www.loc.gov/catdir/enhancements/fy1113/2011027492-t.html
CCS
LIBRO
MCR
2016-05-03
0
0
CCS
0
0
MMA
MMA
4
2016-05-03
Compra Programa de Bibliotecas 2015
2600.00
0
C F3 S195
22573
2023-01-24
2016-05-03
LIBRO
17564
17562