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

Andrzej Ciepielewski, Seif Haridi. Control of Activities in the Or-Parallel Token Machine (Abstract). In Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras, editors, Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. pages 536, Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, 1983. [doi]

Abstract

Abstract is missing.