A linear-time branching-time perspective on interface automata | SpringerLink
Languages and Automata | SpringerLink
What is pushdown automata? - Quora
Timed Automata. - ppt video online download
A parallel version of the cellular automata static recrystallization model dedicated for high performance computing platforms – Development and verification - ScienceDirect
Synthesis, Validation, and Evaluation of Operating Procedures Based on Timed Automata and Dynamic Simulation | Industrial & Engineering Chemistry Research
Combining finite automata, parallel programs and SDL using Petri nets | SpringerLink
An Introduction to Timed Automata using Uppaal - Trinity College ...
Hierarchical and parallel composition example motivated from Maraninchi... | Download Scientific Diagram
Parallel composition in CCS | Download Scientific Diagram
How Chemistry Computes: Language Recognition by Non-Biochemical Chemical Automata. From Finite Automata to Turing Machines - ScienceDirect
Finite State Machines - YouTube
logic - Constructing a parallel composition from a given transition system and automaton - Mathematics Stack Exchange
Future Internet | Free Full-Text | From Service Composition to Mashup Editor: A Multiperspective Taxonomy
To The Parallel Composition of Timed Finite State Machines
PCF-based formalization of the parallel composition of automata
From linear to additive cellular automata - TIB AV-Portal
logic - Constructing a parallel composition from a given transition system and automaton - Mathematics Stack Exchange
PCF-based formalization of the parallel composition of automata
Timed Automata. - ppt video online download
Two example hybrid automata and their parallel composition | Download Scientific Diagram
Parallel Composition - an overview | ScienceDirect Topics
Manufacturing Cases - UMDES Group Wiki
Features | UPPAAL
