Searching for authors named "Irek Ulidowski" – sorted by Relevance.
-
Termination and Confluence of Term Rewrite Systems for GSOS Process Languages
- Termination and con uence of term rewrite systems for GSOS process languages Irek Ulidowski
- Add To MetaCart
-
Axiomatisations of Weak Equivalences for De Simone Languages
- Axiomatisations of Weak Equivalences for De Simone Languages Irek Ulidowski ? Research Institute
- Cited by 4 (2 self) – Add To MetaCart
-
Equivalences on Observable Processes
- Equivalences on Observable Processes Irek Ulidowski Department of Computing Imperial College
- Cited by 15 (6 self) – Add To MetaCart
-
Finite Axiom Systems for Testing Preorder and De Simone Process Languages
- Finite Axiom Systems for Testing Preorder and De Simone Process Languages Irek Ulidowski
- Cited by 4 (2 self) – Add To MetaCart
-
Operational semantics of reversibility in process algebra
- Department of Computing Imperial College London England Irek Ulidowski 2 Department of Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
Formats of Ordered SOS Rules with Silent Actions
- Formats of Ordered SOS Rules with Silent Actions Irek Ulidowski Research Institute
- Cited by 6 (3 self) – Add To MetaCart
-
Ordered SOS Rules and Weak Bisimulation
- , London SW7 2BZ. IREK ULIDOWSKI Research Institute for Mathematical Sciences, Kyoto University, Kyoto
- Cited by 3 (3 self) – Add To MetaCart
-
Stable and Timed Formats for Process Algebra
- College 180 Queen's Gate, London SW7 2BZ iccp@(email omitted); and Irek Ulidowski School of Computing
- Cited by 1 (1 self) – Add To MetaCart
-
Reversing algebraic process calculi
- Reversing Algebraic Process Calculi Iain Phillips 1 and Irek Ulidowski 2 1 Department of Computing
- Cited by 7 (2 self) – Add To MetaCart
-
Processing Semi-Structured Data in Object Bases
- , Irek Ulidowski Institute of Computer Science Polish Academy of Sciences Ordona 21, 01-237 Warszawa
- Add To MetaCart

