A simple realization of a parallel device recognizing regular trace languages
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Evolution of Asynchronous Cellular Automata
PPSN VII Proceedings of the 7th International Conference on Parallel Problem Solving from Nature
Keeping track of the latest gossip in a distributed system
Distributed Computing
Semantics of Deterministic Shared-Memory Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Synthesis of safe message-passing systems
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Compositional synthesis of asynchronous automata
Theoretical Computer Science
Hi-index | 0.00 |