#### Filter Results:

- Full text PDF available (4)

#### Publication Year

1994

2007

#### Publication Type

#### Co-author

#### Publication Venue

Learn More

- L. Birkedal, M. Bundgaard, +6 authors H. Niss
- 2006

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)

- M J Gordon, R Milner, +22 authors Richard
- 1994

26 2. 1 is not a proof. From the induction hypotheses we have that`MT 1 = fail. If s 0 is either an axiom or an assumption, then is apply(then(t 1 ; \t "); \s 0 ") and`MT Tac(\s 0 "). If s 0 is neither an axiom nor an assumption, then is apply(then(t 1 ; \t "); fail) with`MT Tac(fail). In both cases, from axiom (A9), the induction hypotheses and by applying… (More)

- M J Gordon, A J Milner, +5 authors H M Bromley
- 1995

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)

- M J Gordon, R Milner, +7 authors H M Bromley
- 1996

- Rich Milner, John Gatch
- Int. CMG Conference
- 2007

- ‹
- 1
- ›