Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units
Activities
Prizes
Search by expertise, name or affiliation
Towards a theory of mathematical operational semantics
John Power
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
5
Citations (SciVal)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Towards a theory of mathematical operational semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Arts and Humanities
Dynamics
100%
Generality
100%
Spirit
50%
Mathematics
Generality
100%
Mathematical Formulation
100%
Computer Science
Operational Semantics
100%