Uwe Glasser

• A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
• Abstract State Machines Alloy B And Z