Publications by Professor Eike Best - ePrints

Browsing publications by Professor Eike Best.

Newcastle Authors	Title	Year
Professor Eike Best Professor Maciej Koutny	Process algebra: A Petri-net-oriented tutorial	2004
Professor Eike Best Professor Maciej Koutny	The box algebra = petri nets + process expressions	2002
Professor Eike Best	The Box Algebra=Petri Nets+Process Expressions	2002
Professor Eike Best Professor Maciej Koutny	A Unified Model for Nets and Process Algebras	2001
Professor Eike Best Professor Maciej Koutny	Petri Net Algebra	2001
Professor Eike Best Professor Maciej Koutny	Recursion and Petri nets	2001
Professor Maciej Koutny Professor Eike Best	Operational and denotational semantics for the box algebra	1999
Professor Eike Best Professor Maciej Koutny	The Box Algebra - A Model of Nets and Process Expressions	1999
Professor Eike Best Professor Maciej Koutny	A Refined View of the Box Algebra	1995
Professor Eike Best Professor Maciej Koutny	Solving Recursive Net Equations	1995
Professor Maciej Koutny Professor Eike Best	Operational Semantics for the Petri Box Calculus	1994
Professor Eike Best Professor Maciej Koutny	Petri Net Semantics of Priority Systems	1992
Professor Eike Best	The Box Calculus: A new Causal Algebra with Multilabel Communication	1992
Professor Eike Best	DEMON - Design Methods Based on Nets	1990
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 Actions	1981
Professor Eike Best Professor Brian Randell	A Formal Model of Atomicity in Asynchronous Systems	1981
Professor Eike Best	Systematic Detection of Exception Occurrences	1981
Professor Eike Best	Adequacy of Path Programs	1980
Professor Eike Best	An Operational Characterisation of the Atomicity of Activities	1980
Professor Eike Best	Notes on Predicate Transformers and Concurrent Programs	1980
Professor Eike Best	The Relative Strength of K-density	1980
Professor Eike Best Professor Brian Randell	A Formal Model of Atomicity in Asynchronous Systems	1979
Professor Eike Best	Design and Analysis of Highly Parallel and Distributed Systems	1979
Professor Eike Best	Formal Theory of the Basic COSY Notation	1979
Professor Eike Best	A Step Towards a Solution of the Liveness Problem in Petri Nets	1977
Professor Eike Best	A Theorem on the Characteristics of Non-sequential Processes	1977
Professor Eike Best	On the Problem of Achieving Adequacy of Concurrent Programs	1977