Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Folk theorems on the correspondence between state-based and event-based systems
M.A. Reniers
,
T.A.C. Willemse
Formal System Analysis
Research output
:
Book/Report
›
Report
›
Academic
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Folk theorems on the correspondence between state-based and event-based systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Transition System
100%
Semantic Domain
100%
Kripke Structure
100%
Concurrency
50%