1. A refinement of Kahn's semantic to handle non-determinism and communication;Back,1982
2. Nondeterministic programs: An example;Bekic,1982
3. Réseaux de processes avec mélange équitable: une approache du temps réel;Boussinot,1981
4. Scenarios: A model of non-determinate computation;Brock,1981
5. A fixed point approach to applicative multiprogramming;Broy,1982