registrieren | anmelden | FAQ      [?] 

Tag abstract-state-machines [6 articles]

Recent papers classified by the tag abstract-state-machines.
  • Dynamic algebras as a well-behaved fragment of relation algebras
    Vol. 425 (1990)
    by Vaughan Pratt
    edited by CH Bergman, RD Maddux, DL Pigozzi
    posted to abstract-state-machines algebra behavior chu-space discreteness dynamic-algebras dynamics event-space evolution evolving-algebras gtm relation state-space by scis0000001 on 2006-12-02 15:43:04 as **
  • Sequential abstract-state machines capture sequential algorithms
    ACM Trans. Comput. Logic, Vol. 1, No. 1. (July 2000), pp. 77-111.
    by Yuri Gurevich
    posted to abstract-state-machines executability executable gtm scalability by scis0000001 on 2006-10-16 17:24:33 as **
  • Computability Logic: a formal theory of interaction
    (10 Dec 2004)
    by Giorgi Japaridze
    posted to abstract-state-machines adaptability aixi all-logical-theories behavior chu-space classical-logic computability computability-logic computational-epistemology dynamics formal-theory iff interaction interactivity interference intuitionistic-logic linear-logic logic relativity by scis0000001 on 2006-09-19 16:36:44 as **
  • Model Checking Abstract State Machines and Beyond
    (2000), pp. 323-340.
    by Marc Spielmann
    posted to abstract-state-machines model-checking by scis0000001 on 2007-05-04 08:45:21 as **
  • Generating finite state machines from abstract state machines
    (2002), pp. 112-122.
    by Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    posted to abstract-state-machines asm executable fsm by scis0000001 on 2007-05-04 08:36:41 as ** along with 1 person leonardo
  • Algorithmic Theories of Everything
    (20 Dec 2000)
    by Juergen Schmidhuber
    posted to abstract-state-machines algebraic algorithmic-information-theory all-logical-theories binary-physics chu-space compuatational-structures computability computability-logic computational-cosmology computational-epistemology computational-physics concurrency discreteness emergence eom generalized-kolmogorov-complexity gtm hierarchy-of-structures intelligence-order-relations kolmogorov-complexity lattice-of-theories least-time mathematical-structures physical-structures quantum-computer scott-information-system speed-prior taxonomy-of-structures toe unified-concept-theory universality by scis0000001 on 2006-06-13 10:58:37 as ** along with 3 people BrendaChng JayDugger Scis0000002
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/abstract-state-machines

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.