Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

by Zhiming Liu

Stochastic Pi-calculus Revisited.- A Clock-Based Framework for Construction of Hybrid Systems.- Advances in Quantitative Verification for Ubiquitous Computing.- Mobile Membranes: Computability and Complexity.- Cruise Control in Hybrid Event-B.- From Distributions to Probabilistic Reactive Programs.- Hol-TestGen/fw: An Environment for Specification-Based Firewall Conformance Testing.- Random Walks on Some Basic Classes of Digraphs.- A Probabilistic...

• Format: Paperback
• Language: English
• ISBN: 3642397174
• ISBN13: 9783642397172
• Release Date: July 2013
• Publisher: Springer
• Length: 445 Pages
• Weight: 1.44 lbs.
• Dimensions: 1.0" x 6.2" x 9.2"