Travelled to:1 × Austria
1 × USA
Collaborated with:I.C.C.Phillips ∅
Talks about:process (2) equival (1) calculi (1) algebra (1) silent (1) revers (1) observ (1) format (1) action (1) order (1)
Person: Irek Ulidowski
DBLP: Ulidowski:Irek
Contributed to:
2006
1992
1997Wrote 3 papers:
- FoSSaCS-2006-PhillipsU #algebra #calculus #process
- Reversing Algebraic Process Calculi (ICCP, IU), pp. 246–260.
- LICS-1992-Ulidowski #process
- Equivalences on Observable Processes (IU), pp. 148–159.
- TAPSOFT-1997-UlidowskiP #order
- Formats of Ordered SOS Rules with Silent Actions (IU, ICCP), pp. 297–308.