Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Eike Best

Newcastle AuthorsTitleYearFull text
Professor Eike Best
Emeritus Professor Maciej Koutny
Process algebra: A Petri-net-oriented tutorial2004
Professor Eike Best
Emeritus Professor Maciej Koutny
The box algebra = petri nets + process expressions2002
Professor Eike Best
The Box Algebra=Petri Nets+Process Expressions2002
Professor Eike Best
Emeritus Professor Maciej Koutny
A Unified Model for Nets and Process Algebras2001
Professor Eike Best
Emeritus Professor Maciej Koutny
Petri Net Algebra2001
Professor Eike Best
Emeritus Professor Maciej Koutny
Recursion and Petri nets2001
Emeritus Professor Maciej Koutny
Professor Eike Best
Operational and denotational semantics for the box algebra1999
Professor Eike Best
Emeritus Professor Maciej Koutny
The Box Algebra - A Model of Nets and Process Expressions1999
Professor Eike Best
Emeritus Professor Maciej Koutny
A Refined View of the Box Algebra1995
Professor Eike Best
Emeritus Professor Maciej Koutny
Solving Recursive Net Equations1995
Emeritus Professor Maciej Koutny
Professor Eike Best
Operational Semantics for the Petri Box Calculus1994
Professor Eike Best
Emeritus 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
12