Bisimulation Congruences for Homer: a Calculus of Higher Order Mobile Embedded Resources

Thomas Hildebrandt, Jens Christian Godskesen, Mikkel Bundgaard

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

Fingeraftryk

Dyk ned i forskningsemnerne om 'Bisimulation Congruences for Homer: a Calculus of Higher Order Mobile Embedded Resources'. Sammen danner de et unikt fingeraftryk.

Computer Science

Keyphrases