Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Independence, name-passing and constraints in models for concurrency
Håkon Normann
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Independence, name-passing and constraints in models for concurrency'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Event Structure
100%
Concurrency
100%
Psi-calculi
80%
Instantiation
60%
DCR Graphs
60%
Structure Diagram
60%
π-calculus
40%
Metamodel
20%
Parallel Composition
20%
Action Refinement
20%
Asynchronous Transition Systems
20%
Constraint-based Modeling
20%
Syntactic Structure
20%
Extruder
20%
Computer Science
Concurrency
100%
Event Structure
100%
Instantiation
60%
Starting Point
20%
Syntactics
20%
Transition System
20%
Parallel Composition
20%