Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Process Algebra with Action Dependencies
Arend Rensink
, Heike Wehrheim
Research output
:
Book/Report
›
Report
›
Professional
41
Downloads (Pure)
Overview
Fingerprint
Research output
(1)
Fingerprint
Dive into the research topics of 'Process Algebra with Action Dependencies'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Process Algebra
100%
Semantics
57%
Reactive System
28%
System Description
14%
Denotational Semantics
14%
Axiomatization
14%
Standards
14%
In-Process
14%
Design
14%
Parallelism
14%
Branching Time
14%
Operational Semantics
14%