Attributed Automata: A Formal Model for Protocol Specification
暂无分享,去创建一个
[1] Leo Motus. Analytical Study of Quantitative Timing Properties of Software , 1993, Fifth Euromicro Workshop on Real-Time Systems.
[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[3] Nancy A. Lynch,et al. Distributed Computing: Models and Methods , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[4] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[5] R. Kurki-Suonio. Stepwise design of real-time systems , 1991, SIGSOFT '91.
[6] M. Juhola,et al. An attributed automaton for recognizing of nystagmus eye movements , 1993 .
[7] Leslie Lamport,et al. Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .
[8] Elie Najm,et al. G-LOTOS: A Graphical Language for Concurrent Systems , 1994, Comput. Networks ISDN Syst..