Skip to main navigation
Skip to search
Skip to main content
Technical University of Munich Home
Help & FAQ
English
Deutsch
Home
Profiles
Research units
Projects
Research output
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Denotational semantics of communicating sequential programs
Manfred Broy
Universität Passau
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Denotational semantics of communicating sequential programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Sequential Programs
100%
Denotational Semantics
100%
Mathematical Model
50%
Verification Method
50%
Function Mapping
50%
Specification Method
50%
Communicating Processes
50%
Computer Science
Sequential Program
100%
Denotational Semantics
100%
Function Mapping
50%
Communicating Process
50%