Matches in Library of Congress for { <http://lccn.loc.gov/2011027492> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2011027492 contributor B12132051.
- 2011027492 created "c2012.".
- 2011027492 date "2012".
- 2011027492 date "c2012.".
- 2011027492 dateCopyrighted "c2012.".
- 2011027492 description "Includes bibliographical references (p 235-243) and index.".
- 2011027492 description "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.".
- 2011027492 extent "xii, 247 p. :".
- 2011027492 identifier "9781107003637".
- 2011027492 identifier 2011027492-b.html.
- 2011027492 identifier 2011027492-d.html.
- 2011027492 identifier 2011027492-t.html.
- 2011027492 issued "2012".
- 2011027492 issued "c2012.".
- 2011027492 language "eng".
- 2011027492 publisher "Cambridge ; New York : Cambridge University Press,".
- 2011027492 subject "004.01/5113 23".
- 2011027492 subject "Bisimulation.".
- 2011027492 subject "COMPUTERS / Networking / General. bisacsh".
- 2011027492 subject "Coinduction (Mathematics)".
- 2011027492 subject "Computer science.".
- 2011027492 subject "Induction (Mathematics)".
- 2011027492 subject "Modality (Logic)".
- 2011027492 subject "QA76.9.A96 S366 2012".
- 2011027492 tableOfContents "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.".
- 2011027492 title "An introduction to bisimulation and coinduction / Davide Sangiorgi.".
- 2011027492 type "text".