A process oriented semantics of the PRAM-language FORK

Hagerup, 1991, FORK—A high-level language for PRAMs, Vol. I, 304 Fortune, 1978, Parallelism in random access machines, 114 Gibbons, 1988 Hagerup, 1990, Every robust CRCW PRAM can effectively simulate a priority PRAM, 117 Valiant, 1990, A bridging model for parallel computation, Comm. ACM, 33, 103, 10.1145/79173.79181 Culler, 1993, LogP: Towards a realistic model of parallel computation, 28, 1 Heywood, 1992, A practical hierarchical model of parallel computation, J. Parallel Distributed Comput., 16, 212, 10.1016/0743-7315(92)90034-K Abolhassan, 1991, On the cost-effectiveness of PRAMs, 2 Ranade, 1987, How to emulate shared memory, 185 Abolhassan, F., Drefenstedt, R., Keller, J., Paul, W. J. and Scheerer, D. On the physical design of PRAMs. Comput. J. To appear. Carriero, 1989, LINDA in context, Comm. ACM, 32, 444, 10.1145/63334.63337 Hoare, 1990, Communicating Sequential Processes Meyer, 1988, Towards fully abstract semantics for local variables, 191 Hoare, 1986, Specification-oriented semantics for communicating processes, Acta Informat., 23, 9, 10.1007/BF00268075