Pervasive Process Calculus

Robin Milner

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

Process calculi with various signatures and reaction rules may provide a theoretical basis for pervasive computing.
Original languageEnglish
Pages (from-to)255-259
Number of pages5
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - Sept 2006

Keywords / Materials (for Non-textual outputs)

  • bigraph
  • graph-rewriting
  • mobile agent
  • pervasive computing
  • process calculus


Dive into the research topics of 'Pervasive Process Calculus'. Together they form a unique fingerprint.

Cite this