Concurrent Machines
Michael W. Shields · The Computer Journal · 1985
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.