The present chapter is concerned with the non-trivial matter of how to incorporate in LINCOS descriptions of two or more cooperating concurrent sequential processes without reference to time. For that purpose the concept of arbitration is introduced. The arbiter is again a (typed) process, albeit of a special character. It has the power of organizing processes in such a way that by means of interrupts (with or without returns), a wide range of requirements of cooperation are met. As an illustrative example the well-known problem of organizing the concurrent dining and studying of an uneven number of dining/thinking philosophers is presented.
KeywordsState Vector Sequential Process Parallel Process Concurrent Process Fair Distribution
- 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