Login / Signup

Towards an Implementation-oriented Specification of TP Protocol in LOTOS.

Ing WidyaGert-Jan van der Heijden
Published in: FME (1993)
Keyphrases
  • protocol specification
  • specification language
  • temporal ordering
  • lightweight
  • efficient implementation
  • client server architecture
  • information systems
  • hardware implementation
  • formal methods
  • formal analysis