COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata.

Frédéric Boniol

Published in: PARLE (1994)

Keyphrases

parallel processing
cellular automata
shared memory
finite automata
artificial intelligence
agent architecture
finite state
massively parallel
parallel programming
timed automata
query language
parallel computing
algebraic structure