Hakutulokset: Kirjoja kirjailijalta Davide Sangiorgi
yhteensä 6 hakutulosta
The Pi Calculus
Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile …
Introduction to Bisimulation and Coinduction
Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite …
Advanced Topics in Bisimulation and Coinduction
Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important …
CONCUR '98 Concurrency Theory
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.The 35 revised full …
The Pi-calculus
Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile …
Introduction to Bisimulation and Coinduction
Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite …