A Denotational Semantics for Handel-C - Formal Methods and Hybrid Real-Time Systems - page 66

25. Bouali, A.: Xeve: An Esterel verification environment. In: Vardi, M.Y. (ed.) CAV
1998. LNCS, vol. 1427, p. 500. Springer, Heidelberg (1998)
26. Tini: An axiomatic semantics for esterel. TCS: Theoretical Computer Science 269
(2001)
27. Holenderski, L.: LUSTRE. In: Lewerentz, C., Lindner, T. (eds.) Formal Devel-
opment of Reactive Systems, Case Study Production Cell. LNCS, pp. 101-112.
Springer, Heidelberg (1995)
28. Andriessens, C., Lindner, T.: AL: Using FOCUS, LUSTRE, and probability theory
for the design of a reliable control program. In: Abrial, J.-R., Borger, E., Lang-
maack, H. (eds.) Formal Methods for Industrial Applications. LNCS, vol. 1165, pp.
35-51. Springer, Heidelberg (1996)
29. Brookes, S.D.: On the axiomatic treatment of concurrency. In: Brookes, S.D.,
Winskel, G., Roscoe, A.W. (eds.) Seminar on Concurrency. LNCS, vol. 197, pp.
1-34. Springer, Heidelberg (1985)
30. Woodcock, J., Cavalcanti, A.: The Semantics of Circus. In: Bert, D., Bowen, J.P.,
Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, Springer,
Heidelberg (2002)
31. Butterfield, A., Sherif, A., Woodcock, J.: Slotted-Circus-A UTP-Family of Reactive
Theories. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, Springer,
Heidelberg (2007)
32. Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Series in Computer
Science. Prentice Hall, Englewood Cliffs (1998)
33. Corcoran, B.J.: Testing Formal Semantics: Handel-C. M.Sc. in Computer Science,
University of Dublin, Trinity College presented in partial fullfillment of the M.Sc.
requirements (2005)
34. Jones, S.P., et al.: Report on the Programming Language Haskell 98 (1999),
http://www.haskell.org/
35. Schneider, S.: Concurrent and Real-time Systems - The CSP Approach. Wiley,
Chichester (2000)
36. Butterfield, A., Woodcock, J.: A ”hardware compiler” semantics for handel-c.
Electr. Notes Theor. Comput. Sci. 161, 73-90 (2006)
37. Zhou, C.: Duration calculus, a logical approach to real-time systems. In: Haeberer,
A.M. (ed.) AMAST 1998. LNCS, vol. 1548, pp. 1-7. Springer, Heidelberg (1998)
38. Chaochen, Z., Hoare, C.A.R.: A model for synchronous switching circuits and its
theory of correctness. Formal Methods in System Design 1, 7-28 (1992)