@dblp

Coordinating concurrency to avoid forbidden states in condition models.

, and . ETFA (1), page 90-97. IEEE, (2003)

Links and resources

Tags