Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Pi-Calculus : Theory of Mobile Processes

by Sangiorgi, Davide | Walker, David.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 17 Call number: 681.3 SAN.

Place hold Log in to add tags
E-BOOKS
Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco Nicola, Davide Sangiorgi.

by Nicola, Rocco [editor.] | Sangiorgi, Davide [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3705Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
CONCUR'98 Concurrency Theory [electronic resource] : 9th International Conference Nice, France, September 8–11, 1998 Proceedings / edited by Davide Sangiorgi, Robert Simone.

by Sangiorgi, Davide [editor.] | Simone, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1466Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Advanced topics in bisimulation and coinduction / Jan Rutten.

by Sangiorgi, Davide | Sangiorgi, Davide | Rutten, J. J. M. M.

Series: Cambridge tracts in theoretical computer science ; 52Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge ; New York : Cambridge University Press, 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAN.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha