The following pages link to Irek Ulidowski (Q890615):
Displaying 36 items.
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- (Q1575272) (redirect page) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- Reversible occurrence nets and causal reversible prime event structures (Q2039888) (← links)
- Towards causal-consistent reversibility of imperative concurrent programs (Q2097433) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- Reversibility and Asymmetric Conflict in Event Structures (Q2842116) (← links)
- Reversible Delay-Insensitive Distributed Memory Modules (Q2868435) (← links)
- Modelling of Bonding with Processes and Events (Q2868444) (← links)
- Reversibility and Models for Concurrency (Q2871832) (← links)
- A hierarchy of reverse bisimulations on stable configuration structures (Q2883121) (← links)
- Refusal Simulation and Interactive Games (Q2996145) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Concurrency and Reversibility (Q3188912) (← links)
- Arbitration and Reversibility of Parallel Delay-Insensitive Modules (Q3188915) (← links)
- (Q3384916) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- (Q4536608) (← links)
- (Q4703894) (← links)
- (Q4965863) (← links)
- (Q5014800) (← links)
- (Q5129948) (← links)
- (Q5150131) (← links)
- (Q5219758) (← links)
- Reversible Imperative Parallel Programs and Debugging (Q5237216) (← links)
- Operational Semantics of Reversibility in Process Algebra (Q5262973) (← links)
- (Q5389328) (← links)
- Event Identifier Logic (Q5740354) (← links)
- Foundations of Software Science and Computation Structures (Q5899092) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900560) (← links)
