Frederick C Furtek

• Specifying the behavior of concurrent systems