Control of Activities in the Or-Parallel Token Machine.

Andrzej Ciepielewski Seif Haridi Control of Activities in the Or-Parallel Token Machine. 49-57 1984 SLP db/conf/slp/slp84.html#CiepielewskiH84