Login / Signup
A Lightweight Combination of Semantics for Non-deterministic Functions
Francisco Javier López-Fraguas
Juan Rodríguez-Hortalá
Jaime Sánchez-Hernández
Published in:
CoRR (2009)
Keyphrases
</>
lightweight
wireless sensor networks
formal semantics
logic programming
black box
handheld devices
linear functions
communication infrastructure
authentication protocol
mobile devices
fixpoint semantics