Irek Ulidowski
- Reverse Bisimulations on Stable Configuration Structures
2010/02/15 by Iain Phillips, Irek Ulidowski · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Petri Nets in System Modeling #cs.LO
- Dependence and Independence for Reversible Process Calculi
2024/10/04 by Clément Aubert, Iain Phillips, Aubert, Clément +3 · 1 citation
Computer Science · Mathematics · #68Q85 #Computability, Logic, AI Algorithms #Computer science #F.4.2 #FOS: Computer and information sciences #Independence (probability theory) #Logic in Computer Science (cs.LO) #Mathematics #Process (computing) #Statistics