Czeslaw Jeske

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 0

Top Topics

Refinement Process

Transactional Properties

Pattern Detection

Commit Protocols

Top Venues

Math. Struct. Comput. Sci.

Formal Aspects Comput.

Publications

Richard Banach, Czeslaw Jeske
Retrenchment and refinement interworking: the tower theorems. Math. Struct. Comput. Sci. 25 (1) (2015)
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
Atomicity failure and the retrenchment atomicity pattern. Formal Aspects Comput. 25 (3) (2013)
Richard Banach, Czeslaw Jeske
Simple feature engineering via neat default retrenchments. J. Log. Algebraic Methods Program. 80 (8) (2011)
Richard Banach, Czeslaw Jeske
Stronger compositions for retrenchments. J. Log. Algebraic Methods Program. 79 (3-5) (2010)
Richard Banach, Czeslaw Jeske, Michael Poppleton
Composition mechanisms for retrenchment. J. Log. Algebraic Methods Program. 75 (2) (2008)
Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Informaticae 77 (1-2) (2007)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67 (2-3) (2007)
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
Retrenchment and the Atomicity Pattern. SEFM (2007)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA (2006)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenchment and the Mondex Electronic Purse. Abstract State Machines (2005)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM (2005)
Czeslaw Jeske, Richard Banach
Minimally and Maximally Abstract Retrenchments. IFM (2002)