Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, 52, Band 52) - Hardcover

Buch 32 von 40: Cambridge Tracts in Theoretical Computer Science

Edited By Davide Sangiorgi, Jan Rutten

 
9781107004979: Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, 52, Band 52)

Inhaltsangabe

Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.

Jan Rutten is a senior researcher at Centrum Wiskunde and Informatica (CWI) in Amsterdam and Professor of Theoretical Computer Science at Radboud University, Nijmegen.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.