Cellular Automata Composition : Luke Cyca Dot Calm
Control of (max,+) automata: Logical and timing aspects
CS 367: Model-Based Reasoning Lecture 5 (01/29/2002) Gautam Biswas. - ppt download
logic - Constructing a parallel composition from a given transition system and automaton - Mathematics Stack Exchange
Systems | Free Full-Text | Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways
PPT - Theory of Hybrid Automata PowerPoint Presentation, free download - ID:586937
Lecture 12: Networks of Timed Automata
Untitled Document
Compositional Constructions of Automata | The n-Category Café
PCF-based formalization of the parallel composition of automata
Parallel Composition of Semi-Algebraic O-Minimal Automata
Timed Automata. - ppt video online download
Parallel finite automata for modeling concurrent software systems | Semantic Scholar
Automata theory - Wikipedia
Experiments on parallel composition of timed finite state machines
PDF) Parallel composition of semi-algebraic o-minimal automata | Alberto Casagrande - Academia.edu
logic - Constructing a parallel composition from a given transition system and automaton - Mathematics Stack Exchange
Chapter 3 : Parallel Composition | Concurrency : State Models and Java Programs
A parallel version of the cellular automata static recrystallization model dedicated for high performance computing platforms – Development and verification - ScienceDirect
Rule Primality, Minimal Generating Sets and Turing-Universality in the Causal Decomposition of Elementary Cellular Automata – Complexity Digest
Parallel finite automata for modeling concurrent software systems | Semantic Scholar
In the quantitative automata zoo - ScienceDirect
Features | UPPAAL
To The Parallel Composition of Timed Finite State Machines
The automata models of two machines (a) and their concurrent... | Download Scientific Diagram
A linear-time branching-time perspective on interface automata | SpringerLink
