Pervasive Process Calculus

Robin Milner

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume162
DOIs
Publication statusPublished - Sep 2006

Keywords

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

Fingerprint

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

Cite this