ABSTRACT
No abstract available.
Recommendations
Asynchronous Systems of Parallel Communicating Finite Automata
Non-Classical Models of Automata and Applications VSynchronous systems of parallel communicating one-way finite automata have already been investigated. There, all components work stepwise in parallel, and the communication between the components is realized by requesting states in a one-directional ...
Priority Networks of Communicating Finite State Machines
Consider a network of two communicating finite state machines which exchange messages over two one-directional, unbounded channels, and assume that each machine receives the messages from its input channel based on some fixed (partial) priority relation. ...
Communicating memory transactions
PPoPP '11Many concurrent programming models enable both transactional memory and message passing. For such models, researchers have built increasingly efficient implementations and defined reasonable correctness criteria, while it remains an open problem to ...
Comments