THEORETICAL ASPECTS OF COMPUTER SOFTWARE Journal

publication venue for

• SHARING ACTIONS AND ATTRIBUTES IN MODAL ACTION LOGIC 1991