Author of the publication

Specification and proof of a distributed recovery algorithm.

, , and . FTCS, page 307-314. IEEE Computer Society, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reflection and Reification in Process System Evolution: Experience and Opportunity., , , , , , , and . EWSPT, volume 2077 of Lecture Notes in Computer Science, page 27-38. Springer, (2001)The ArchWare Tower: The Implementation of an Active Software Engineering Environment Using a pi-Calculus Based Architecture Description Language., , , , , , and . EWSA, volume 3527 of Lecture Notes in Computer Science, page 30-40. Springer, (2005)Facilitating the Implementation and Evolution of Business Rules., , and . ICSM, page 609-612. IEEE Computer Society, (2005)Process Model Evolution Session.. EWSPT, volume 1149 of Lecture Notes in Computer Science, page 92. Springer, (1996)Reflections on the Relationship Between BPR and Software Process Modelling.. ER, volume 881 of Lecture Notes in Computer Science, page 1-9. Springer, (1994)An Active Architecture Approach to Dynamic Systems Co-evolution., , , , and . ECSA, volume 4758 of Lecture Notes in Computer Science, page 2-10. Springer, (2007)A Web-Based Decision Support System for Tendering Processes., , and . ICEIS (2), page 124-131. (2003)Process Modelling for Online Communications in Tendering Processes., , and . EUROMICRO, page 17-24. IEEE Computer Society, (2003)Electronic commerce strategy in the U.K. electricity industry: the case of Electric Co and Dataflow Software., , , , and . ECIS, page 1780-1788. (2004)Electronic Commerce Strategy in the UK Electricity Industry: The Case of Electric Co and Dataflow Software., , , , and . IJTHI, 2 (3): 38-60 (2006)