Advanced Thread Synchronization in Java Using Interaction Expressions

Interaction expressions are introduced as a completely different approach where synchronization problems are solved in a declarative way by simply specifying permissible execution sequences of methods.