Trace, failure and testing equivalences for communicating processesMAIN, M. G.International journal of parallel programming. 1987, Vol 16, Num 5, pp 383-400, issn 0885-7458Article

Etude du problème de la réutilisation dans les modèles parallèles à processus communicants = Study of the reusability problem in communicating processes modelsLOKPO, Brahima; PADIOU.1992, 110 p.Thesis

Support for graphs of processes in a command interpreterMCDONALD, C; DIX, T. I.Software, practice & experience. 1988, Vol 18, Num 10, pp 1011-1016, issn 0038-0644Article

Static deadlock analysis for CSP-type communicationsLadkin, P.B; Simons, B.B.1994, 14 p.Report

Programs are predicatesHOARE, C. A. R.Philosophical transactions of the royal society of London, series A : mathematical and physical sciences. 1984, Vol 312, Num 1522, pp 475-489, issn 0080-4614Article

QUASAR, une réalisation du système CESAR: description, spécification et analyse des applications réparties = Quasar, a realization of CESAR system: description, specification and distributed applications analysisSCHWARTZ, Jean-Philippe.1983, [238] pThesis

Agent communication II (International workshops on agent communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006)Eijk, Rogier M. Van; Dignum, Frank; Flores, Roberto et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-68142-6, 1Vol, XII-302 p, isbn 3-540-68142-6Conference Proceedings

Concurrent communication and synchronization mechanismsWILLIAMSON, R; HOROWITZ, E.Software, practice & experience. 1984, Vol 14, Num 2, pp 135-151, issn 0038-0644Article

TMS: A scalable transition Multicast SchemeLEI SUN; KE XU; WEIDONG LIU et al.Lecture notes in computer science. 2003, pp 80-90, issn 0302-9743, isbn 3-540-20745-7, 11 p.Conference Paper

Processes of intercultural communication as part of shifting cultural paradigmsKAMPF, Constance.IEEE international professional communication conference. 2002, pp 237-244, isbn 0-7803-7591-2, 8 p.Conference Paper

Algebra of communicating processes with abstractionBERGSTRA, J. A; KLOP, J. W.Theoretical computer science. 1985, Vol 37, Num 1, pp 77-121, issn 0304-3975Article

The incompleteness of misra and Chandy's proof systemsVAN NGUYEN.Information processing letters. 1985, Vol 21, Num 2, pp 93-96, issn 0020-0190Article

Modular redundancy in a message passing systemMANCINI, L.IEEE transactions on software engineering. 1986, Vol 12, Num 1, pp 79-86, issn 0098-5589Article

A formal language for specification of communicating processesJORRAND, Philippe; PEREIRA, Juan Manuel.Rapport de recherche - IMAG. 1985, Num 527, issn 0750-7380, 15 p.Report

Biblioteca : una definizione non-pretecnicaFERRI, Francesco.Biblioteche oggi. 2010, Vol 28, Num 8, pp 46-57, issn 0392-8586, 12 p.Article

A shared memory algorithm and proof for the generalized alternative construct in CSPFUJIMOTO, R. M; HWA-CHUNG FENG.International journal of parallel programming. 1987, Vol 16, Num 3, pp 215-241, issn 0885-7458Article

The probe: an addition to communication primitivesMARTIN, A. J.Information processing letters. 1985, Vol 20, Num 3, pp 125-130, issn 0020-0190Article

Converting Lamport's regular register to atomic registerVI DYASANKAR, K.Information processing letters. 1988, Vol 28, Num 6, pp 287-290, issn 0020-0190Article

Single-user capabilities in interprocess communicationRUSSELL, S.Operating systems review. 1988, Vol 22, Num 2, pp 45-52, issn 0163-5980Article

Methodologies for designing CIM systems : a critiqueBRANDIMARTE, P; CANTAMESSA, M.Computers in industry. 1995, Vol 25, Num 3, pp 281-293, issn 0166-3615Article

Static analysis of multiway synchronizationLadkin, P.B; Simons, B.B.1994, 14 p.Report

A communication mechanism supporting actionsROTHERMEL, K.Computer networks and ISDN systems. 1988, Vol 15, Num 2, pp 97-108, issn 0169-7552Article

Context flow: an alternative to conventional pipelined architecturesTOPHAM, N. P; OMONDI, A; IBBETT, R. N et al.Journal of supercomputing. 1988, Vol 2, Num 1, pp 29-53, issn 0920-8542Article

FP2. The language and its formal definitionHUFFLEN, J.-M; MARTY, A; MARTY, J.-C et al.Rapport de recherche - IMAG. 1985, Num 537, issn 0750-7380, 227 p.Report

Process algebra for synchronous communicationBERGSTRA, J. A; KLOP, J. W.Information and control. 1984, Vol 60, Num 1-3, pp 109-137, issn 0019-9958Article