Specification of the One Bit Protocol

DATE : September 2001
AUTHOR : underdarkPrime and Ade
ADDRESS : underdarkPrime@yahoo.com and ade@cs.uu.nl

Index



This module provides Some UNITY properties as specifications for the One Bit Protocol: We actually use a PLPC specification. Since in PLGA we do not have process class, then the using parameter is ignored.

Generated by mosmldoc --underdarkPrime