Login / Signup

A Lightweight Formalization of the Metatheory of Bisimulation-Up-To.

Kaustuv ChaudhuriMatteo CiminiDale Miller
Published in: CPP (2015)
Keyphrases
  • lightweight
  • formal model
  • knowledge representation
  • dos attacks
  • communication infrastructure
  • high dimensional
  • wireless sensor networks
  • operational semantics
  • cost effective
  • equivalence relation