This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou’s contributions have been marked by his election as a member of the Chinese Academy of Sciences.
Symposium on Real-Time and Hybrid Systems
Special offer terms
Zookal Study - -day Premium trial
Free trial
By clicking the checkbox "Add -day FREE trial" you are enrolling in a 2-week ( day) free trial of Zookal Study Premium Plan, and if you do not cancel within those days, you will be enrolled in an auto-renewing monthly subscription for Zookal Study Premium Plan at the end of the trial. Unused trial period benefits have no cash value, are not transferable, and expire at the end of the trial period.
Auto-Renewal
Following the expiration of any free trial period, your Zookal Study subscription will be renewed each month until you cancel. You consent to Zookal automatically charging your payment method on file $14.95 each month after any free trial period until you cancel.
How to Cancel
You can cancel your subscription anytime by visiting "My Account" on homework.zookal.com, clicking "Cancel" and completing the steps to cancel. Cancellations take effect at the end of the free trial period (if applicable) or at the end of the billing month in which your request to cancel was received. Subscription fees are not refundable.
Zookal Study Premium Monthly Subscription Includes:
Ability to post up to twenty (20) questions per month.
0% off your textbooks order and free standard shipping whenever you shop online at
textbooks.zookal.com.au
Unused monthly subscription benefits have no cash value, are not transferable, and expire at the end of each month. This means that subscription benefits do not roll over to or accumulate for use in subsequent months.
Payment Methods
Afterpay and Zip Pay will not be available for purchases with Zookal Study Premium Plan and/or Free Trial additions.
$1 preauthorisation
You may see a $1 preauthorisation by your bank which will disappear from your statement in a few business days..
Email communications
By adding Zookal Study Premium or Premium Free Trial, you agree to receive email communications from Zookal.
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou’s contributions have been marked by his election as a member of the Chinese Academy of Sciences.
