Sökt på: Davide Sangiorgi
totalt 12 träffar
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 …
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 …
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 …
Theoretical Computer Science
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers …
Trustworthy Global Computing
Computing technology has become ubiquitous, from global applications to - nuscule embedded devices. Trust in computing is vital to help protect public …
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 …
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 …
Theoretical Computer Science
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers …
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 …
Trustworthy Global Computing
Carotid Atherosclerotic Disease
Carotid Atherosclerotic Disease: Pathologic Basis for Treatment reviews the natural history of carotid atherosclerotic plaque and outlines different pathologic characteristics of …