Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Eike Best.

Newcastle AuthorsTitleYearFull text
Professor Eike Best
Professor Maciej Koutny
Process algebra: A Petri-net-oriented tutorial2004
Professor Eike Best
Professor Maciej Koutny
The box algebra = petri nets + process expressions2002
Professor Eike Best
The Box Algebra=Petri Nets+Process Expressions2002
Professor Eike Best
Professor Maciej Koutny
A Unified Model for Nets and Process Algebras2001
Professor Eike Best
Professor Maciej Koutny
Petri Net Algebra2001
Professor Eike Best
Professor Maciej Koutny
Recursion and Petri nets2001
Professor Maciej Koutny
Professor Eike Best
Operational and denotational semantics for the box algebra1999
Professor Eike Best
Professor Maciej Koutny
The Box Algebra - A Model of Nets and Process Expressions1999
Professor Eike Best
Professor Maciej Koutny
A Refined View of the Box Algebra1995
Professor Eike Best
Professor Maciej Koutny
Solving Recursive Net Equations1995
Professor Maciej Koutny
Professor Eike Best
Operational Semantics for the Petri Box Calculus1994
Professor Eike Best
Professor Maciej Koutny
Petri Net Semantics of Priority Systems1992
Professor Eike Best
The Box Calculus: A new Causal Algebra with Multilabel Communication1992
Professor Eike Best
DEMON - Design Methods Based on Nets1990
Professor Eike Best
Relational Semantics of Concurrent Programs (with some Applications)1982
Professor Eike Best
[PhD Thesis] Semantics, Verification and Design of Concurrent Programs Using Atomic Actions1981
Professor Eike Best
Professor Brian Randell
A Formal Model of Atomicity in Asynchronous Systems1981
Professor Eike Best
Systematic Detection of Exception Occurrences1981
Professor Eike Best
Adequacy of Path Programs1980
Professor Eike Best
An Operational Characterisation of the Atomicity of Activities1980
Professor Eike Best
Notes on Predicate Transformers and Concurrent Programs1980
Professor Eike Best
The Relative Strength of K-density1980
Professor Eike Best
Professor Brian Randell
A Formal Model of Atomicity in Asynchronous Systems1979
Professor Eike Best
Design and Analysis of Highly Parallel and Distributed Systems1979
Professor Eike Best
Formal Theory of the Basic COSY Notation1979
Professor Eike Best
A Step Towards a Solution of the Liveness Problem in Petri Nets1977
Professor Eike Best
A Theorem on the Characteristics of Non-sequential Processes1977
Professor Eike Best
On the Problem of Achieving Adequacy of Concurrent Programs1977