A Calculus for Hybrid CSP-Reference-Cited by-同舟云学术

A Calculus for Hybrid CSP

Published:2010 Issue: Volume: Page:1-15
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Liu Jiang,Lv Jidong,Quan Zhao,Zhan Naijun,Zhao Hengjun,Zhou Chaochen,Zou Liang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17164-2_1

Reference20 articles.

1. Apt, K., de Boer, F., Olderog, E.-R.: Verfication of Sequential and Concurrent Programs. Springer, Heidelberg (2009) ISBN 978-1-184882-744-8

2. Lecture Notes in Computer Science;G.E. Collins,1975

3. Lecture Notes in Computer Science;S. Gulwani,2008

4. : From CSP to hybrid systems. In: The proc. of A Classical Mind: Essays in Honour of C. A. R. Hoare. International Series In Computer Science, pp. 171–189. Prentice-Hall, Englewood Cliffs (1994), ISBN:0-13-294844-3

5. Liu, J., Zhan, N., Zhao, H.: A complete method for generating polynomial differential invariants. Technical Report of State Key Lab. of Comp. Sci., ISCAS-LCS-10-15 (2010)

Cited by 50 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems;Lecture Notes in Computer Science;2024-09-13

2. Type-Based Verification of Delegated Control in Hybrid Systems;Lecture Notes in Computer Science;2024

3. Automated Compositional Verification for Robotic State Machines using Isabelle/HOL;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

4. Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs;Automated Deduction – CADE 29;2023

5. Model-Based Engineering for Robotics with RoboChart and RoboTool;Formal Methods for an Informal World;2023