Travelled to:1 × Finland
2 × United Kingdom
Collaborated with:R.Banach S.Stepney A.Hall M.Poppleton
Talks about:retrench (3) pattern (2) abstract (1) sequenc (1) number (1) tower (1) minim (1) maxim (1) finit (1) purs (1)
Person: Czeslaw Jeske
DBLP: Jeske:Czeslaw
Contributed to:
2007
2005
2002Wrote 3 papers:
- SEFM-2007-BanachJHS
- Retrenchment and the Atomicity Pattern (RB, CJ, AH, SS), pp. 37–46.
- FM-2005-BanachPJS #finite #sequence
- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
- IFM-2002-JeskeB
- Minimally and Maximally Abstract Retrenchments (CJ, RB), pp. 380–400.