Alternating Bit Protocol by Bill Roscoe
ATM by Stephen Doxsee and W. B. Gardner
Bus System by Simon Gay
CPU Scheduler by Josep Silva
Disk Server by W. B. Gardner
Loop by D. S. Jovanovic
Microwave Oven by Kirsten Winter
Producer - Consumer by D. S. Jovanovic
Read - Write by Ling Shi, Yang Liu, Jun Sun, Jin Song Dong and Gustavo Carvalho
Server by M. Llorens, J. Oliver, J. Silva, S. Tamarit
Traffic Lights by Javier Oliver