Copyright © Philip M. Parker, INSEAD. Terms of Use.
| Domain | Definition |
Computing | Calculus of Communicating Systems (CCS) A mathematical model (a formal language) for describing processes, mostly used in the study of parallelism. A CCS program, written in behaviour expressions syntax denotes a process behaviour. Programs can be compared using the notion of observational equivalence. ["A Calculus of Communicating Systems", LNCS 92, Springer 1980]. ["Communication and Concurrency", R. Milner, P-H 1989]. (1994-11-29). Source: The Free On-line Dictionary of Computing. |
Math | Robin Milner's algebraic theory to formalize the notion of concurrent computation. Commonly known as CCS. (references) |
Source: compiled by the editor from various references; see credits. | |
Crosswords: CALCULUS OF COMMUNICATING SYSTEMS |
| Specialty definitions using "CALCULUS OF COMMUNICATING SYSTEMS": CCS. (references) |
Hexadecimal (or equivalents, 770AD-1900s) (references)43 41 4C 43 55 4C 55 53 4F 46 43 4F 4D 4D 55 4E 49 43 41 54 49 4E 47 53 59 53 54 45 4D 53 |
| Leonardo da Vinci (1452-1519; backwards) (references)
|
Binary Code (1918-1938, probably earlier) (references)01000011 01000001 01001100 01000011 01010101 01001100 01010101 01010011 00100000 01001111 01000110 00100000 01000011 01001111 01001101 01001101 01010101 01001110 01001001 01000011 01000001 01010100 01001001 01001110 01000111 00100000 01010011 01011001 01010011 01010100 01000101 01001101 01010011 |
HTML Code (1990) (references)C A L C U L U S   O F   C O M M U N I C A T I N G   S Y S T E M S |
ISO 10646 (1991-1993) (references)0043 0041 004C 0043 0055 004C 0055 0053 004F 0046 0043 004F 004D 004D 0055 004E 0049 0043 0041 0054 0049 004E 0047 0053 0059 0053 0054 0045 004D 0053 |
Encryption (beginner's substitution cypher): (references)373546375546555324940237494747554843373554434841253595354394753 |
| 1. Crosswords 2. Orthography 3. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.
