VDict - Definition of Calculus of Communicating Systems

search result for Calculus of Communicating Systems in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

Alonzo Church SDL Knights of the Lambda-Calculus Interactive Voice Response go voice PROSE SPL head normalisation theorem symbolic logic @stake System F feedback control TALE chat CCTA Green Book GNU Problem Report Management System SOL talk braille display backward compatibility Microelectronics and Computer Technology Corporation Virtual Machine Modular Prolog Estelle mirror propositional logic Green's Theorem AverStar Santa Cruz Operation Macintosh file system Operating System/Multiprogramming of Fixed Tasks Java Message Service USENIX Common Intermediate Format Very Large Memory call-by-need file context switch message passing Joy alpha conversion modal logic Portable Document Format ISWIM locality Atari Messaging Application Programming Interface extranet Squeak Filesystem Hierarchy Standard plug-in HiLog Intelligent Input/Output BackOffice Scheme-to-C binary file braille model checking relational algebra eta conversion Windows CE predicate logic Thinking Machines Corporation Idealized CSP beta abstraction dedicated line Expanded Memory Specification Computational Adequacy Theorem Ptolemy combinator copy and paste Unified Modeling Language PostScript SIMULA I Intel 486 usr De Bruijn notation chaos Unisys Corporation

First < Previous 1 2 3 4 5 6 7 Next > Last