A Query Language Based on the Ambient Logic (2001)

by Luca Cardelli , Giorgio Ghelli
Citations:54 - 10 self