Stem idealis$ (all stems)
1 papers:
FoSSaCS-1999-RocklS #algol #concurrent #process #semantics #π-calculus- A π-calculus Process Semantics of Concurrent Idealised ALGOL (CR, DS), pp. 306–321.
FoSSaCS-1999-RocklS #algol #concurrent #process #semantics #π-calculus