Výsledky vyhľadávania - theory of computation/computation by abstract devices/models of computation/automata
-
1
Learning Communicating Automata from MSCs
ISSN: 0098-5589, 1939-3520Vydavateľské údaje: New York IEEE 01.05.2010Vydané v 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)…”
Získať plný text
Journal Article -
2
Strictly Temporally Periodic Points in Cellular Automata
ISSN: 2075-2180Vydavateľské údaje: Open Publishing Association 13.08.2012Vydané v Electronic Proceedings in Theoretical Computer Science (13.08.2012)Získať plný text
Journal Article