From Computing to Interaction: on the Expressiveness of Asynchronous pi-Calculus.

Published in: Int. J. Found. Comput. Sci. (2013)

Keyphrases

asynchronous communication
expressive power
human computer interaction
information retrieval
artificial intelligence
social networks
knowledge representation
user interaction
computational properties
relational calculus