Back to Results
First PageMeta Content
Science / Bigraph / Calculus / Formal language / Logic / Process calculus / Theoretical computer science / Mathematics / Applied mathematics


Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree
Add to Reading List

Document Date: 2008-12-10 11:30:39


Open Document

File Size: 4,11 MB

Share Result on Facebook

City

Cambridge / Paris / Copenhagen / /

Company

Bigraphical Reactive Systems / Reactive Systems / /

Facility

IT University of Copenhagen / /

IndustryTerm

prototype tool / matching algorithm / /

Organization

Foundation for Bigraphs / Laboratory for Informatics / Ecole Polytechnique / Paris / University of Copenhagen / /

Person

Robin Milner / Soraya Gu´enifi / Henning Niss / Jean Krivine / Vincent Danos / Lars Birkedal / Hans Christian / Raux Alizon / Samuel Alizon / Martin Elsman / Mikkel Bundgaard / Bodil Biering / Arne Glenstrup / Espen Højsgaard / Ebbe Elsborg / Søren Debois / Stephan / Eva / Thomas Hildebrandt / /

Position

researcher / supervisor / co-researcher / /

Technology

matching algorithm / 5.5 Auxiliary Technologies / /

SocialTag