Extension of protocol synthesis to structured entities.

Bhed Bahadur Bista Atsushi Togashi Norio Shiratori

Published in: ICNP (1995)

Keyphrases

structured data
database
lightweight
program synthesis
real world
case study
distributed systems
structured queries
tcp ip
communication protocols
functional programs