Proving Soundness of Extensional Normal-Form Bisimilarities

Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $lambda$-calculi by decomposing their normal forms into bisimilar subterms.Moreover, it typically allows for powerful up-to techniques, such as bisimulation up to context, which simplify bisimulation proofs even further.However, proving soundness of these

read more

5G mobile communication convergence protocol architecture and key technologies in satellite internet of things system

This paper analyzes the network architecture of the Iridium system, Orbcomm system, Narrow Band-Internet of Things (NB-IoT) and Long Places Art Range Radio (Lo Ra) in the satellite 5G mobile communication system.A new Dynamic Routing based on Multi-factor Forwarding (MF-DR) protocol is proposed.This paper simulates the ladder-type data fusion algor

read more