Sign in

Locality and Polyadicity in Asynchronous Name-Passing Calculi.

Massimo Merro
Published in: FoSSaCS (2000)
Keyphrases
  • asynchronous communication
  • sequent calculi
  • delay insensitive
  • machine learning
  • learning algorithm
  • social networks
  • information systems
  • state machines
  • qualitative spatial
  • asynchronous cellular automata