Machine à états abstraits (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Machine à états abstraits" in French language version.

Last modified: 19:15:05, 14 September 2023 (UTC)

Ref.Un. Ref.Website

Global rank French rank

2^nd place

3^rd place

33^rd place

4^th place

263^rd place

539^th place

low place

doi.org (Global: 2^nd place; French: 3^rd place)

Yuri Gurevich, « Sequential abstract-state machines capture sequential algorithms », ACM Transactions on Computational Logic, Association for Computing Machinery (ACM), vol. 1, n^o 1,‎ juillet 2000, p. 77-111 (DOI 10.1145/343369.343384, lire en ligne).
Egon Börger et Dean Rosenzweig, « A mathematical definition of full Prolog », Science of Computer Programming, vol. 24, n^o 3,‎ juin 1995, p. 249-286 (DOI 10.1016/0167-6423(95)00006-e)
Egon Börger, Nicu G. Fruja, Vincenzo Gervasi et Robert F. Stärk, « A high-level modular definition of the semantics of C# », Theoretical Computer Science, vol. 336, n^os 2-3,‎ mai 2005, p. 235-284 (ISSN 0304-3975, DOI 10.1016/j.tcs.2004.11.008).
Uwe Glässer, Reinhard Gotzhein et Andreas Prinz, « The formal semantics of SDL-2000: Status and perspectives », Computer Networks, vol. 42, n^o 3,‎ juin 2003, p. 343-358 (ISSN 1389-1286, DOI 10.1016/s1389-1286(03)00247-0).
Egon Börger, Uwe Glässer et Wolfgang Muller, « A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines », dans Carlos Delagado Kloos et Peter T. Breuer (éditeurs), Formal Semantics for VHDL, Springer, 1995 (DOI 10.1007/978-1-4615-2237-9_5), p. 107-139

Egon Börger, Nicu G. Fruja, Vincenzo Gervasi et Robert F. Stärk, « A high-level modular definition of the semantics of C# », Theoretical Computer Science, vol. 336, n^os 2-3,‎ mai 2005, p. 235-284 (ISSN 0304-3975, DOI 10.1016/j.tcs.2004.11.008).
Uwe Glässer, Reinhard Gotzhein et Andreas Prinz, « The formal semantics of SDL-2000: Status and perspectives », Computer Networks, vol. 42, n^o 3,‎ juin 2003, p. 343-358 (ISSN 1389-1286, DOI 10.1016/s1389-1286(03)00247-0).

Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis et Andreas Prinz, « Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models », Journal of Universal Computer Science, vol. 7, n^o 11,‎ 2001 (lire en ligne).

Yuri Gurevich, « Sequential abstract-state machines capture sequential algorithms », ACM Transactions on Computational Logic, Association for Computing Machinery (ACM), vol. 1, n^o 1,‎ juillet 2000, p. 77-111 (DOI 10.1145/343369.343384, lire en ligne).