Communication Errors in the pi-Calculus are Undecidable.

Vasco Thudichum Vasconcelos António Ravara

Published in: Inf. Process. Lett. (1999)

Keyphrases

sufficient conditions
communication networks
information sharing
communication systems
information exchange
communication overhead
database
data acquisition
computer networks
communication protocol
errors occur
databases
resource constrained
share information
datalog programs