Functional approach to protocols specification.

Jakub Bojanowski Michal Iglewski Jan Madey Abdellatif Obaid

Published in: PSTV (1994)

Keyphrases

protocol specification
high level
conceptual model
communication protocols
multi agent
multi agent systems
relational databases
formal specification
multi party
specification language
reactive systems
functional analysis
state machines