Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Proceso comunicación")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 790

  • Page / 32
Export

Selection :

  • and

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

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

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

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

Making a meaningful model for technical communicationCONKLIN, James; HART, Hillary.IEEE international professional communication conference. 2004, pp 49-54, isbn 0-7803-8467-9, 1Vol, 6 p.Conference Paper

A FIPA compliant goal delegation protocolBERGENTI, Federico; RIMASSA, Giovanni; SOMACHER, Matteo et al.Communication in multiagent systems : agent communication languages and conversation policies. Lecture notes in computer science. 2003, pp 223-238, issn 0302-9743, isbn 3-540-40385-X, 16 p.Book Chapter

A note on Kobayashi's and Yonezawa's asynchronous communication model based on linear logicDE GROOTE, P; PERRIER, G.Formal aspects of computing. 1998, Vol 10, Num 2, pp 160-170, issn 0934-5043Article

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

Finding the most similar concepts in two different ontologiesGUZMAN-ARENAS, Adolfo; OLIVARES-CEJA, Jesus M.Lecture notes in computer science. 2004, pp 129-138, issn 0302-9743, isbn 3-540-21459-3, 10 p.Conference Paper

Universal communications cabling ― a building utilityFLATMAN, A. V.ICL technical journal. 1988, Vol 6, Num 1, pp 117-136, issn 0142-1557Article

Vorträge/Bürokommunikation '88: Erfahrungen, Tendenzen, Richtlinien, Kongress, Köln, 20.-21. Oktober 1988 = «Communications de bureau 88»: expérience acquise, tendances, prescriptions = Office communications 88: Practice, trends, guidelinesVDI-Berichte. 1988, Num 716, issn 0083-5560, 320 p.Conference Proceedings

Analyse et propriétés des processus communiquant par files fifo : réseaux à files à choix libre topologique et réseaux à files linéairesChoquet, Annie; Vidal Naquet, Guy.1987, 104 p.Thesis

Technology transfer: lessons from experience: the communication processSNIDER, D. A.Annals of the New York Academy of Sciences. 1986, Vol 477, pp 363-368, issn 0077-8923Article

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

A commitment-based communicative act libraryVERDICCHIO, Mario; COLOMBETTI, Marco.Lecture notes in computer science. 2006, pp 61-75, issn 0302-9743, isbn 3-540-68142-6, 1Vol, 15 p.Conference Paper

Enumerating the preconditions of agent message typesPELLETIER, Francis Jeffry; ELIO, Renée.Lecture notes in computer science. 2003, pp 50-65, issn 0302-9743, isbn 3-540-40300-0, 16 p.Conference Paper

Non-deterministic communication complexity with few witnessesKARCHMER, M; NEWMAN, I; SAKS, M et al.Journal of computer and system sciences (Print). 1994, Vol 49, Num 2, pp 247-257, issn 0022-0000Article

Naming symmetric processes using shared variablesEGECIOGLU, Ö; SINGH, A. K.Distributed computing. 1994, Vol 8, Num 1, pp 19-38, issn 0178-2770Article

P -A logic- a compositional proof system for distributed programsPANDYA, P. K; JOSEPH, M.Distributed computing. 1991, Vol 5, Num 1, pp 37-54, issn 0178-2770Article

  • Page / 32