Journal of Universal Computer Science12(8), 981–1006 (2006)

Fokkink, W · 2006

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.LO · 2026-05-18 · unverdicted · novelty 4.0

Extends ACP-based imperative process algebra with probabilistic operators resolved first and demonstrates it on a leader election protocol.

Showing 1 of 1 citing paper after filters.

Probabilistic imperative process algebra cs.LO · 2026-05-18 · unverdicted · none · ref 11
Extends ACP-based imperative process algebra with probabilistic operators resolved first and demonstrates it on a leader election protocol.