verification of progamming languages; foundations of actor-based systems; middleware,