IF Examples

Communication Protocols

Alternating Bit Protocol (ABP)

Bounded Retransmission Protocol (BRP)

Pragmatic General Multicast Protocol (PGM)

Service Specific Connection Oriented Protocol (SSCOP)

Distributed Applications

Multi-threaded Server

File System Server

Java Producer Consumer

MQ-Series Integration Broker

K9 Rover Executive

Mutual Exclusion Protocols

Token Ring Protocol

Fischer Protocol

Scheduling

Active Structural Control System

Laquer Production

Recursive Procedures

Ackermann Function

Factorial Function

Quicksort Procedure