Takip et
Irek Ulidowski
Irek Ulidowski
School of Computing and Mathematical Sciences, University of Leicester
le.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Reversing algebraic process calculi
I Phillips, I Ulidowski
The Journal of Logic and Algebraic Programming 73 (1-2), 70-96, 2007
1732007
A reversible process calculus and the modelling of the ERK signalling pathway
I Phillips, I Ulidowski, S Yuen
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013
1072013
Reversibility and asymmetric conflict in event structures
I Phillips, I Ulidowski
Journal of Logical and Algebraic Methods in Programming 84 (6), 781-805, 2015
632015
Reversibility and models for concurrency
I Phillips, I Ulidowski
Electronic Notes in Theoretical Computer Science 192 (1), 93-108, 2007
632007
Equivalences on observable processes
I Ulidowski
LICS 92, 148-159, 1992
621992
Reversing algebraic process calculi
I Phillips, I Ulidowski
International Conference on Foundations of Software Science and Computation …, 2006
492006
Ordered SOS process languages for branching and eager bisimulations
I Ulidowski, I Phillips
Information and Computation 178 (1), 180-213, 2002
482002
An axiomatic approach to reversible computation
I Lanese, I Phillips, I Ulidowski
FoSSaCS 2020-23rd International Conference on Foundations of Software …, 2020
382020
Extending process languages with time
I Ulidowski, S Yuen
International Conference on Algebraic Methodology and Software Technology …, 1997
371997
Modelling of bonding with processes and events
I Phillips, I Ulidowski, S Yuen
International Conference on Reversible Computation, 141-154, 2013
342013
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
332020
A logic with reverse modalities for history-preserving bisimulations
I Phillips, I Ulidowski
arXiv preprint arXiv:1108.4470, 2011
332011
Concurrency and reversibility
I Ulidowski, I Phillips, S Yuen
International Conference on Reversible Computation, 1-14, 2014
322014
Finite axiom systems for testing preorder and De Simone process languages
I Ulidowski
Theoretical Computer Science 239 (1), 97-139, 2000
312000
A hierarchy of reverse bisimulations on stable configuration structures
I Phillips, I Ulidowski
Mathematical Structures in Computer Science 22 (2), 333-372, 2012
302012
Event identifier logic
I Phillips, I Ulidowski
Mathematical Structures in Computer Science 24 (2), 2014
292014
A calculus for local reversibility
S Kuhn, I Ulidowski
Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016
282016
Preface
N Cannata, E Merelli, I Ulidowski
Theoretical Computer Science 411 (20), 1997-1998, 2010
27*2010
Local reversibility in a calculus of covalent bonding
S Kuhn, I Ulidowski
Science of Computer Programming 151, 18-47, 2018
252018
Reversing an imperative concurrent programming language
J Hoey, I Ulidowski
Science of Computer Programming 223, 102873, 2022
24*2022
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20