Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Mathematical Structures in Computer Science
Leader election in rings of ambient processes
Theoretical Computer Science - Expressiveness in concurrency
Tutorial on separation results in process calculi via leader election problems
Theoretical Computer Science
Symmetric electoral systems for ambient calculi
Information and Computation
Election and rendezvous with incomparable labels
Theoretical Computer Science
Symmetric and Synchronous Communication in Peer-to-Peer Networks
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
On Synchronous and Asynchronous Interaction in Distributed Systems
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Symmetric and Asymmetric Asynchronous Interaction
Electronic Notes in Theoretical Computer Science (ENTCS)
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science
Distributed and randomized enumeration
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Separation results via leader election problems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Election in the qualitative world
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
Expressing global priorities by best-matching
Proceedings of the 27th Annual ACM Symposium on Applied Computing
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A Compositional Semantics for the Reversible p-Calculus
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |