Equivalence preserving transformations for timed transition models
暂无分享,去创建一个
[1] Wang Yi,et al. CCS + Time = An Interleaving Model for Real Time Systems , 1991, ICALP.
[2] Leonard Lee,et al. The Day the Phones Stopped , 1991 .
[3] A. Steven Klusener,et al. Abstraction in Real Time Process Algebra , 1991, REX Workshop.
[4] Faron Moller,et al. A Temporal Calculus of Communicating Systems , 1990, CONCUR.
[5] W. M. Wonham,et al. A framework for real-time discrete event control , 1990 .
[6] Matthew K. Franklin,et al. A transformational method for verifying safety properties in real-time systems , 1989, [1989] Proceedings. Real-Time Systems Symposium.
[7] Jonathan S. Ostroff,et al. Temporal logic for real-time systems , 1989 .
[8] Control systems science and engineering award , 1987, IEEE Control Systems Magazine.
[9] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[10] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.