Asynchronous circuits, communicating processes, and muller automaton

Authors:
Roman R. Rȩdziejowski
Affiliations:
Ceremonimästarvägen 10, S-18140 Lidingö, Sweden
Venue:
Fundamenta Informaticae
Year:
2003

Citing 4
Cited 0

Automata on infinite objects

Handbook of theoretical computer science (vol. B)
Interference between communicating parallel processes

Communications of the ACM
ω-automata

Automata logics, and infinite games
Cooperating Sequential Processes, Technical Report EWD-123

Cooperating Sequential Processes, Technical Report EWD-123

Quantified Score

Hi-index	0.00

Visualization

Abstract

A finite-state model of communicating processes is presented alongside with the Muller-Bartky model of asynchronous circuits. The purpose of such presentation is to expose a close similarity of these models, at a level of abstraction much lower than the Muller automaton.