Development of communication protocols using algebraic and temporal specifications.

Mohamed Jmaiel Peter Pepper

Published in: Comput. Networks (2003)

Keyphrases

communication protocols
spatio temporal
knowledge based systems
development process
software engineering
temporal information
temporal constraints
temporal data
communication protocol
web services
case study
decision support
temporal reasoning
protocol specification