Advanced topics in bisimulation and coinduction

Author(s)

• Sangiorgi, Davide
• Rutten, J. J. M. M.

Bibliographic Information

Advanced topics in bisimulation and coinduction

edited by Davide Sangiorgi, Jan Rutten

（Cambridge tracts in theoretical computer science, 52）

Cambridge University Press, 2012

• : Hardback

Note

Includes bibliographical references

Details

• NCID: BB07757166
• ISBN:
  • 9781107004979
• LCCN: 2011027493
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge ; New York
• Pages/Volumes: xiii, 326 p.
• Size: 24 cm
• Classification:
  • DC22 : 003.3
• Subject Headings:
  • LCSH : Computer simulation
  • LCSH : Computer science -- Philosophy
• Parent Bibliography ID:
  • BA01121831