Bo I. Sanden
-
The state-machine pattern
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Concurrent design patterns for resource sharing
Proceedings of the conference on TRI-Ada '97
Modeling Concurrent Software
IEEE Software