Search Results - theory of computation/computation by abstract devices/models of computation/automata

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Learning Communicating Automata from MSCs by Bollig, Benedikt, Katoen, Joost-Pieter, Kern, Carsten, Leucker, Martin

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.05.2010
    Published in IEEE transactions on software engineering (01.05.2010)
    “…This paper is concerned with bridging the gap between requirements and distributed systems. Requirements are defined as basic message sequence charts (MSCs)…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Strictly Temporally Periodic Points in Cellular Automata by Alberto Dennunzio, DI LENA, PIETRO, MARGARA, LUCIANO

    ISSN: 2075-2180
    Published: Open Publishing Association 13.08.2012
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: