Bigraphical Programming Languages for Pervasive Computing

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Documents

  • Lars Birkedal
  • M Bundgaard, IT University of Copenhagen, Denmark
  • Søren Debois, IT University in Copenhagen, Unknown
  • E. Elsborg, IT University of Copenhagen (ITU), Denmark
  • Arne John Glenstrup, IT University in Copenhagen, Denmark
  • Thomas Hildebrandt, IT University of Copenhagen, Denmark
  • R. Milner, University of Cambridge, United Kingdom
  • Henning Niss, IT University of Copenhagen, Denmark
The Bigraphical Programming Language project at IT University of Copenhagen contributes to the UKCRC Ubiquitous Computing Grand Challenge by researching the use of bigraphical reactive systems as a general framework in which to combine theories for design and analysis with techniques, tools and methodologies for engineering and systems building. Initial work has been addressing Context-awareness, business processes and Reactive XML, axiomatisation and matching, andhigher-order mobile embedded resources.
Original languageEnglish
Title of host publicationProceedings of Pervasive 2006 International Workshop on Combining Theory and Systems Building in Pervasive Computing (CTSB'06
EditorsThomas Strang, Vinny Cahill, Aaron Quigley
Number of pages6
Publication year2006
Pages653-658
Publication statusPublished - 2006
Externally publishedYes

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 81783478