Skip to main navigation
Skip to search
Skip to main content
Eindhoven University of Technology research portal Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Reactive Turing machines
J.C.M. Baeten,
B. Luttik
, P.J.A. Tilburg, van
Formal System Analysis
Research output
:
Book/Report
›
Report
›
Academic
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Reactive Turing machines'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Branching
10%
Parallel Composition
10%
Process Theory
10%
Specifications
10%
Transition System
30%
Turing Machine
100%