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
Compositional Constructions of Automata | The n-Category Café
PDF) Parallel composition of semi-algebraic o-minimal automata | Alberto Casagrande - Academia.edu
PCF-based formalization of the parallel composition of automata
Timed Automata. - ppt video online download
Control of (max,+) automata: Logical and timing aspects
Parallel composition of two processes. | Download Scientific Diagram
PCF-based formalization of the parallel composition of automata
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Paperback) - Walmart.com
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
To The Parallel Composition of Timed Finite State Machines
PCF-based formalization of the parallel composition of automata
Parallel composition of nonsequential automata | Download Scientific Diagram
A verification strategy for web services composition using enhanced stacked automata model | SpringerPlus | Full Text
Parallel Composition of Semi-Algebraic O-Minimal Automata
In the quantitative automata zoo - ScienceDirect
Experiments on parallel composition of timed finite state machines
Cities and Complexity: Understanding Cities with Cellular Automata, Agent-Based Models, and Fractals (MIT Press): Batty, Michael: 9780262524797: Amazon.com: Books
logic - Constructing a parallel composition from a given transition system and automaton - Mathematics Stack Exchange
Untitled Document
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
Cellular Automata Composition : Luke Cyca Dot Calm
Automata theory - Wikipedia
Parallel finite automata for modeling concurrent software systems | Semantic Scholar
Finite Automata Models | SpringerLink
