Representation of discretely controlled continuous systems in software-oriented formal analysis-Reference-Cited by-同舟云学术

Representation of discretely controlled continuous systems in software-oriented formal analysis

Published:1997 Issue: Volume: Page:110-120
ISSN:0302-9743
Container-title:Advances in Computing Science — ASIAN'97
language:
Short-container-title:

Author:

Mizutani Tetsuya,Igarashi Shigeru,Tomita Kohji,Shio Masayuki

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63875-X_47

Reference28 articles.

1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J. and Yovine, S.: The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138 (1995), pp. 3–34.

2. Ben-Ari, M.: Principles of concurrent programming, Prentice-Hall International, 1982.

3. Browne, I. A., Manna, Z. and Sipma, H. B.: Hierarchical verification using verification diagrams, Concurrency and Parallelism, Programming, Networking, and Security, Lecture notes in computer science, 1179 (1996), pp. 276–286.

4. Chaochen, Z.: Duration calculi: an overview, International Institute for Software Technology, The United Nations University, UNI/IIST Report, 10 (1993).

5. E. W. Dijkstra: Co-operating sequential process, Programming Languages (1968), pp, 43–112.

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

1. Labeled @-Calculus: Formalism for Time-Concerned Human Factors;Artificial Intelligence and Symbolic Computation;2006

2. Representation of a Discretely Controlled Continuous System in Tense Arithmetic;Electronic Notes in Theoretical Computer Science;2001-01