Tutorial on Separation Results in Process Calculi via Leader Election Problems

Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2007.09.001
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Tutorial on Separation Logic (Invited Tutorial)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On Distributability in Process Calculi

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On the Complexity of Universal Leader Election

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2015English

Perpetuities in Fair Leader Election Algorithms

2013English

Leader Election Using Loneliness Detection

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2012English

Election Results

Bulletin of the American Meteorological Society
Atmospheric Science
1966English

Uniform Dynamic Self-Stabilizing Leader Election

English

Leader Election Using Modified Heap Tree Method

International Journal of Computer Applications
2012English

Election Results

Bulletin of the American Meteorological Society
Atmospheric Science
1970English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy