PDF) Parallel composition of semi-algebraic o-minimal automata | Alberto Casagrande - Academia.edu
PCF-based formalization of the parallel composition of automata
A verification strategy for web services composition using enhanced stacked automata model | SpringerPlus | Full Text
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
Lecture 12: Networks of Timed Automata
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
PCF-based formalization of the parallel composition of automata
Parallel finite automata for modeling concurrent software systems | Semantic Scholar
Timed Automata. - ppt video online download
Untitled Document
logic - Constructing a parallel composition from a given transition system and automaton - Mathematics Stack Exchange
Parallel Composition of Semi-Algebraic O-Minimal Automata
CS 367: Model-Based Reasoning Lecture 5 (01/29/2002) Gautam Biswas. - ppt download
Finite Automata Models | SpringerLink
Cellular Automata Composition : Luke Cyca Dot Calm
To The Parallel Composition of Timed Finite State Machines
Observer - Example
Compositional Constructions of Automata | The n-Category Café
Parallel composition of two processes. | Download Scientific Diagram
Cities and Complexity: Understanding Cities with Cellular Automata, Agent-Based Models, and Fractals (MIT Press): Batty, Michael: 9780262524797: Amazon.com: Books
A linear-time branching-time perspective on interface automata | SpringerLink
Features | UPPAAL
Experiments on parallel composition of timed finite state machines
In the quantitative automata zoo - ScienceDirect
