Concurrent Machines

Abstract
This paper starts with what seems a fairly general model of concurrent machines and, imposing certain constraints on labellings of input/output occurrences, derives an equivalent model based on a simple generalisation of the partial Mealy automaton.

This publication has 0 references indexed in Scilit: