Learn More
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(More)
We think that the approach to safe system extension proposed in this paper presents many advantages. From a software engineering perspective, the architectural principles presented in Section 3 considerably simplify the task of building and extending theorem provers safely. The concept of OMRS is a rst small step towards complex reasoning systems built by(More)
  • 1