Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Link åbnes på en ny fane
Dansk
English
Søg efter indhold i IT-Universitetet i København
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Kurser
Presse/medier
Aktiviteter
Priser
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
Mikkel Bundgaard
,
Thomas Hildebrandt
Publikation
:
Bog / Antologi / Rapport
›
Rapport
›
Forskning
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Active Processes
50%
Ambient Calculus
25%
Bigraphs
100%
Calculus
75%
Distributed Agents
25%
Embedded Resources
100%
High-order
100%
Higher-order Process Calculus
25%
Lambda
25%
Local Names
100%
Metamodel
25%
Mobile Ambients
25%
Process Mobility
50%
Reaction Rules
25%
Computer Science
lambda-calculus
100%