Uwe Glässer profile picture

Uwe Glässer

Is this your author profile? Create an account to customize it!

Stand Alone

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Rigorous State-Based Methods