Sign in

Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.

Massimo TivoliDavid Garlan
Published in: WICSA (2005)
Keyphrases
  • lightweight
  • cryptographic protocols
  • network simulator
  • database
  • formal analysis
  • program synthesis
  • real time
  • data mining
  • information systems
  • cooperative
  • multi party
  • tcp ip
  • communication protocols
  • coloured petri nets