J. R. Abrial, The B Book: Assigning Programs to Meanings, Cambridge University Press, 2005.
G. Berry et al., The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation, INRIA Research Report RR0080, 1981.
E. Emerson, "Temporal and Modal Logic," in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, vol. B., MIT Press, 1990, 955-1072.
J. Goguen, Software Engineering with OBJ. Algebraic Specifications in Action, Kluwer Academic Publisher, 2000.
D. Harel et al., "Executable Object Modeling with STATECHARTS," IEEE Computer, 1997, 31-42.
Z. Manna, "The Temporal Logic of Programs," Proc. 18th IEEE Symposium on Foundation of Computer Science, 1977, 46-57.
R. Milner, Communication and Concurrency, Prentice-Hall, 1989.
A. Puccetti, Preuve de propriétés de fatalité de programmes Ada, sémantique opérationnelle et axiomatique, Ph.D. dissertation, Institut National Polytechnique de Lorraine, Nancy, 1987.
Was this article helpful?
Read how to maintain and repair any desktop and laptop computer. This Ebook has articles with photos and videos that show detailed step by step pc repair and maintenance procedures. There are many links to online videos that explain how you can build, maintain, speed up, clean, and repair your computer yourself. Put the money that you were going to pay the PC Tech in your own pocket.