Travelled to:1 × Austria
Collaborated with:I.Ulidowski
Talks about:process (1) calculi (1) algebra (1) silent (1) revers (1) format (1) action (1) order (1) rule (1) sos (1)
Person: Iain C. C. Phillips
DBLP: Phillips:Iain_C=_C=
Contributed to:
2006
1997Wrote 2 papers:
- FoSSaCS-2006-PhillipsU #algebra #calculus #process
- Reversing Algebraic Process Calculi (ICCP, IU), pp. 246–260.
- TAPSOFT-1997-UlidowskiP #order
- Formats of Ordered SOS Rules with Silent Actions (IU, ICCP), pp. 297–308.