A reification calculus for model-oriented software specification J. N. Oliveira OriginalPaper Pages: 1 - 23
Command algebras, recursion and program transformation Wim H. Hesselink OriginalPaper Pages: 60 - 104
A fast pattern matching algorithm derived by transformational and assertional reasoning H. A. PartschF. A. Stomp OriginalPaper Pages: 109 - 122
Partial order behaviour and structure of Petri nets Eike BestJörg Desel OriginalPaper Pages: 123 - 138
Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems Xudong HeJohn A. N. Lee OriginalPaper Pages: 226 - 246
Refinement concepts formalised in higher order logic R. J. R. BackJ. von Wright OriginalPaper Pages: 247 - 272
X-machines and the halting problem: Building a super-turing machine Mike Stannett OriginalPaper Pages: 331 - 341
On the interconnection constants of Hopfield nets Nandit SoparkarAbraham Silberschatz OriginalPaper Pages: 342 - 358
Defining, analysing and implementing communication protocols using attribute grammars N. P. Chapman OriginalPaper Pages: 359 - 392