Automata and Logics for Concurrent Systems: Five Models in Five Pages.

Benedikt Bollig

Published in: CIAA (2015)

Keyphrases

concurrent systems
distributed systems
website
keywords
temporal logic
search engine
cellular automata
expressive power
finite automata