/* RMI Distributed Mutex Interface */

import java.rmi.*;

public interface dmutex extends Remote
{
    public void lock() throws RemoteException;
    public void unlock() throws RemoteException;
    public boolean getState() throws RemoteException;
}