On the public citation graph

Fairness and hyperfairness in multi-party interactions

0 signed · 50 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-11981-7_17openalex-snapshot

An operational semantics for CSP

inferredcites →https://doi.org/10.1007/3-540-12920-0_3openalex-snapshot

Transformations realizing fairness assumptions for parallel programs

inferredcites →https://doi.org/10.1007/3-540-18625-5_48openalex-snapshot

A distributed algorithm to implement n-party rendezvous

inferredcites →https://doi.org/10.1007/978-1-4612-4886-6openalex-snapshot

Fairness

inferredcites →https://doi.org/10.1007/978-3-642-82453-1_7openalex-snapshot

Script: A Communication Abstraction Mechanism and its Verification

inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot

Notes on Communicating Sequential Systems

inferredcites →https://doi.org/10.1007/bf01558665openalex-snapshot

Decentralization of process nets with centralized control

inferredcites →https://doi.org/10.1007/bf01872848openalex-snapshot

Appraising fairness in languages for distributed programming

inferredcites →https://doi.org/10.1016/0020-0190(87)90001-9openalex-snapshot

Two normal form theorems for CSP programs

inferredcites →https://doi.org/10.1016/0020-0190(89)90049-5openalex-snapshot

Cooperating proofs for distributed programs with multiparty interactions

inferredcites →https://doi.org/10.1016/0167-6423(83)90004-7openalex-snapshot

Proof rules and transformations dealing with fairness

inferredcites →https://doi.org/10.1016/0167-6423(86)90018-3openalex-snapshot

Script: A communication abstraction mechanism and its verification

inferredcites →https://doi.org/10.1109/tse.1987.233514openalex-snapshot

A Methodology for Developing Distributed Programs

inferredcites →https://doi.org/10.1145/24039.24050openalex-snapshot

The multiway rendezvous

inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot

Communicating sequential processes

inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot

Communicating sequential processes

inferredcites →https://doi.org/10.1145/41625.41642openalex-snapshot

Appraising fairness in distributed languages

inferredcites →https://doi.org/10.1145/44501.44504openalex-snapshot

Fairness in parallel programs: the transformational approach

inferredcites →https://doi.org/10.1145/48022.48023openalex-snapshot

Distributed cooperation with action systems

inferredcites →https://doi.org/10.1145/800222.806752openalex-snapshot

Fair termination of communicating processes

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/cpe.782openalex-snapshot

Fairness in systems based on multiparty interactions

inferred← citeshttps://doi.org/10.1006/inco.2000.3014openalex-snapshot

On Fairness Notions in Distributed Systems

inferred← citeshttps://doi.org/10.1006/inco.2000.3015openalex-snapshot

On Fairness Notions in Distributed Systems

inferred← citeshttps://doi.org/10.1007/11561927_5openalex-snapshot

On Conspiracies and Hyperfairness in Distributed Computing

inferred← citeshttps://doi.org/10.1007/3-540-45605-8_7openalex-snapshot

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

inferred← citeshttps://doi.org/10.1007/3-540-45694-5_36openalex-snapshot

Refinement-Robust Fairness

inferred← citeshttps://doi.org/10.1007/3-540-45706-2_77openalex-snapshot

An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions

inferred← citeshttps://doi.org/10.1007/3-540-61440-0_121openalex-snapshot

Characterizing fairness implementability for multiparty interaction

inferred← citeshttps://doi.org/10.1007/978-3-540-27836-8_100openalex-snapshot

On Randomization Versus Synchronization in Distributed Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-38592-6_12openalex-snapshot

An Abstract Framework for Deadlock Prevention in BIP

inferred← citeshttps://doi.org/10.1007/pl00008921openalex-snapshot

Fairness and hyperfairness

inferred← citeshttps://doi.org/10.1007/s00446-003-0090-zopenalex-snapshot

Action systems in incremental and aspect-oriented modeling

inferred← citeshttps://doi.org/10.1007/s11704-008-0040-9openalex-snapshot

On automatic verification of self-stabilizing population protocols

inferred← citeshttps://doi.org/10.1007/s11704-013-3091-5openalex-snapshot

Model checking with fairness assumptions using PAT

inferred← citeshttps://doi.org/10.1016/0020-0190(90)90091-bopenalex-snapshot

A distributed synchronization scheme for fair multi-process handshakes

inferred← citeshttps://doi.org/10.1016/j.ipl.2007.03.008openalex-snapshot

Generating non-conspiratorial executions

inferred← citeshttps://doi.org/10.1016/s0020-0190(99)00074-5openalex-snapshot

Liveness, fairness, and recurrence in Petri nets

inferred← citeshttps://doi.org/10.1109/71.663873openalex-snapshot

Strong interaction fairness via randomization

inferred← citeshttps://doi.org/10.1109/acsd.2011.21openalex-snapshot

Bounded Fairness for Probabilistic Distributed Algorithms

inferred← citeshttps://doi.org/10.1109/anss-41.2008.26openalex-snapshot

Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation

inferred← citeshttps://doi.org/10.1109/icdcs.1996.507996openalex-snapshot

Strong interaction fairness via randomization

inferred← citeshttps://doi.org/10.1109/icis.2015.7166636openalex-snapshot

Formal specification and reasoning for situated multi-agent system

inferred← citeshttps://doi.org/10.1109/tase.2008.8openalex-snapshot

On Automatic Verification of Self-Stabilizing Population Protocols

inferred← citeshttps://doi.org/10.1145/1507195.1507203openalex-snapshot

Fairness and conspiracy concepts in concurrent systems

inferred← citeshttps://doi.org/10.1145/1874391.1874397openalex-snapshot

Application of TLRO to dining philosophers problem

inferred← citeshttps://doi.org/10.1145/2220357.2220360openalex-snapshot

Defining Fairness in Reactive and Concurrent Systems

inferred← citeshttps://doi.org/10.1145/227595.227601openalex-snapshot

A comprehensive study of the complexity of multiparty interaction

inferred← citeshttps://doi.org/10.1145/3152910openalex-snapshot

Global and Local Deadlock Freedom in BIP

inferred← citeshttps://doi.org/10.1145/3335772.3335780openalex-snapshot

Formal specification and verification

inferred← citeshttps://doi.org/10.29375/25392115.1109openalex-snapshot

Vivacidad y justicia en entornos no deterministas

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.