Davide Sangiorgi – författare
Visar alla böcker från författaren Davide Sangiorgi. Handla med fri frakt och snabb leverans.
8 produkter
The Pi-Calculus
A Theory of Mobile Processes
Av Davide Sangiorgi, David Walker
Häftad, 2003
1140 kr
Lägg i varukorg
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 systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides …
Introduction to Bisimulation and Coinduction
Inbunden, 2011
1681 kr
Lägg i varukorg
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 different tools. Today, it is widely used in computer science, but also in other fields, including artificial …
Advanced Topics in Bisimulation and Coinduction
Av Davide Sangiorgi, Jan Rutten
Inbunden, 2011
2029 kr
Lägg i varukorg
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 role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic …
Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Av Rocco De Nicola, Davide Sangiorgi
Häftad, 2005
567 kr
Lägg i varukorg
Computing technology has become ubiquitous, from global applications to - nuscule embedded devices. Trust in computing is vital to help protect public safety,nationalsecurity,andeconomicprosperity.Anewareaofresearch,known as global computing, has recently emerged that aims at de?ning new models of …
Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Av Davide Sangiorgi, Rocco De Nicola
E-bok, 2005
755 kr
Lägg i varukorg
CONCUR '98 Concurrency Theory
9th International Conference, Nice, France, September 8-11, 1998, Proceedings
Av Davide Sangiorgi, Robert de Simone
Häftad, 1998
1127 kr
Lägg i varukorg
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 papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. …
Theoretical Computer Science
8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Av Josep Diaz, Ivan Lanese m. fl.
Häftad, 2014
551 kr
Lägg i varukorg
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 presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check …
Theoretical Computer Science
8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Av Davide Sangiorgi, Ivan Lanese m. fl.
E-bok, 2014
734 kr
Lägg i varukorg
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 presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check …
