IF-2.0 Language: An Introduction
IF-2.0 Language: Concrete Syntax Annotated
IF-2.0 Language: Operational Semantics
IF-2.0 Tutorial [presented at SPIN'04 Workshop]
Tools and Applications II - The IF Toolset [presented at SFM-04 RT School]
A brief introduction to observers and their semantics.