Control of Activities in the Or-Parallel Token Machine (Abstract).

Andrzej Ciepielewski, Seif Haridi

Browse the full ICLP paper archive.