As demonstrated in the previous chapter the concept of a process, elementary or composite can be abstracted in a logic sense and provided with basic properties. In this chapter Proc, the type process, is to be used as the type of parallel and arbitration processes. So here we are mainly interested in concurrent processes. Channels are introduced as a means to represent processes in state vectors. These contain representations of active processes. State vector transitions model communication between processes (locally or globally). Arbitration is represented by programs describing vector transitions. An example from Shakespeare’s Hamlet illustrates the way this is effectuated in practice.
KeywordsState Vector Type Proc Parallel Process Type Process Communication Program
- A. Ollongren and D. Vakoch Processes in Lingua Cosmica, in ‘Communication with ExtraTerrestrial Intelligence’ (Edited by Douglas A. Vakoch, Suny Press, State University New York), AbSciCon 2010, Texas USA, Session ‘Search for Intelligent Life’, topic ‘Interstellar Message Construction: Can We Make Ourselves Understood?’, (2011) 413–418Google Scholar