Jadual kandungan
Insight, Inspiration and Collaboration.- From CSP to Game Semantics.- On Mereologies in Computing Science.- Roles, Stacks, Histories: A Triple for Hoare.- Forward with Hoare.- Probabilistic Programming with Coordination.- The Operational Principle and Problem Frames.- The Role of Auxiliary Variables in the Formal Development of Concurrent Programs.- Avoid a Void: The Eradication of Null Dereferencing.- Unfolding CSP.- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.- The Thousand-and-One Cryptographers.- On Process-Algebraic Extensions of Metric Temporal Logic.- Fun with Type Functions.- On CSP and the Algebraic Theory of Effects.- CSP is Expressive Enough for ?.- The Tokeneer Experiments.
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● Halaman-halaman 430 ● ISBN 9781848829121 ● Saiz fail 3.8 MB ● Penyunting Cliff B. Jones & A.W. Roscoe ● Penerbit Springer London ● Bandar raya London ● Negara GB ● Diterbitkan 2010 ● Muat turun 24 bulan ● Mata wang EUR ● ID 2152033 ● Salin perlindungan Social DRM