论文信息 - Semantics of S . S . M . ( Safe State Machine ) - 字舞流文

Semantics of S . S . M . ( Safe State Machine )

Charles André | C. André

[1] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.

[2] Ch. Andre,et al. Synccharts: A visual representation of reactive behaviors , 1995 .

[3] Charles André. Representation and Analysis of Reactive Behaviors: A Synchronous Approach , 2000 .

[4] Bruce Powel Douglass. Real-Time Design Patterns , 1999 .

[5] Frédéric Boussinot,et al. The ESTEREL language , 1991, Proc. IEEE.

[6] Gérard Berry,et al. The foundations of Esterel , 2000, Proof, Language, and Interaction.

[7] G. Plotkin,et al. Proof, language, and interaction: essays in honour of Robin Milner , 2000 .

[8] Gérard Berry,et al. The constructive semantics of pure esterel , 1996 .

[9] C. Andre,et al. Variations on the semantics of graphical models for reactive systems , 2002, IEEE International Conference on Systems, Man and Cybernetics.