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
Search by expertise, name or affiliation
Algebra and logic for resource-based systems modelling
M Collinson, D Pym
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
42
Citations (SciVal)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Algebra and logic for resource-based systems modelling'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
System Modeling
100%
Resources
81%
Logic
68%
Algebra
48%
Parallel Programming
45%
Specification Languages
41%
Discrete Event
40%
Process Calculi
40%
Concurrency
34%
Programming Languages
31%
Mathematical Modeling
28%
Subsystem
28%
Composite
25%
Semantics
24%
Engineering
23%
Requirements
23%
Calculus
22%
Model
18%
Modeling
18%
Simulation
18%
Engineering & Materials Science
Algebra
90%
Parallel programming
51%
Specification languages
49%
Computer programming languages
39%
Semantics
29%
Composite materials
25%