An environment for prototyping distributed applications

Nelson, 1981, Remote procedure call Hoare, 1988, Communicating sequential processes, Commun. ACM, 21, 666, 10.1145/359576.359585 Lin, 1985, Atomic remote procedure call Campbell, 1974, The specification of process synchronization by path expressions, 10.1007/BFb0029355 Mitra, 1987, Analysis and optimum performance of two message-passing parallel processors synchronized by rollback, Perform. Eval., 7, 111, 10.1016/0166-5316(87)90026-5 Plateau, 1988, Performance analysis of synchronization of two communicating processes, Perform. Eval., 8, 305, 10.1016/0166-5316(88)90031-4 Bershad, 1987, A remote procedure call facility for interconnecting heterogeneous computer systems, Trans. Software Engng, 13, 880, 10.1109/TSE.1987.233507 Purtilo, 1985, Polylith: an environment to support management of tool interfaces, 12 Purtilo, 1985, On specifying an environment, 456 Purtilo, 1988, A software interconnection technology, UMCP Computer Science Department Technical Report TR-2139 Purtilo, 1988, Environments for prototyping parallel algorithms, J. Parallel Distributed Comput., 5, 421, 10.1016/0743-7315(88)90006-8 Jones, 1985, Matchmaker: an interface specification language for distributed processing Liskov, 1988, Distributed programming in Argus, Commun. ACM, 31, 300, 10.1145/42392.42399 Notkin, 1988, Interconnecting heterogeneous computer systems, Commun. ACM, 31, 258, 10.1145/42392.42396 Rashid, 1981, Accent: a communication oriented network operating system kernel, 15, 64 de Francesco, 1988, Description of a tool for specifying and prototyping concurrent programs, Trans. Software Engng, 14, 1554, 10.1109/32.9044 Hayes, 1988, A simple system for constructing distributed, mixed-language programs, Software—Practice and Experience, 18, 641, 10.1002/spe.4380180705 Hernandez, 1988, A debugging assistant for distrubted systems, 301