Next:
Structures
Up:
hybrid_protocol_paper_obj
Previous:
Notation and Prerequisites
Formal Model of Traces, Properties, & Meta-properties
Subsections
Structures
Messages
Events and Traces
Trace Properties and Refinement
Meta-properties
Tagged Events
Richard Eaton 2002-02-20
