Opening book details…
Can I read Communication Errors in the π-Calculus Are Undecidable on EtoBox?
Communication Errors in the π-Calculus Are Undecidable by Vasco T. Vasconcelos; António Ravara is a Computer Science article available to read on EtoBox.
What is Communication Errors in the π-Calculus Are Undecidable about?
We present an undecidability proof of the notion of communication errors in the polyadic π-calculus. The demonstration follows a general pattern of undecidability proofs-reducing a well-known undecidable problem to the problem in question. We make use of an encoding of the λ-calculus into the π-calculus to show that the decidability of communication errors would solve the problem of deciding whether a lambda term has a normal form.
Who reads Communication Errors in the π-Calculus Are Undecidable?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Vasco T. Vasconcelos; António Ravara
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0020-0190)
- Published
- 1999
- Language
- EN
- Field
- Computer Science (Physical Sciences)