Introduction to bisimulation and coinduction

Title Statements

• Full title :Introduction to bisimulation and coinduction / Davide Sangiorgi.

Edition Statements

• Publication Date:2012.

Publication Statements

• Publisher(s):Cambridge University Press
• Place of Publication:Cambridge
• Language:eng
• Publication Date:2012.

The Physical Object

• Description:XII, 247 p. : : ill. ; : 25 cm

Edition Identifiers

• ISBN:9781107003637, 1107003636
• oclc:ocn909936853

Subjects

Writers