[FS01] Alain Finkel and Philippe Schnoebelen

URL: https://doi · 2023 · DOI 10.46298/lmcs-19(4:33)2023

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

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2024-07-09 · unverdicted · novelty 6.0

Deciding synchronizability for mailbox systems under round-based policy with no round-size limit is PSPACE-complete.

Showing 1 of 1 citing paper.

An automata-based approach for synchronizable mailbox communication cs.LO · 2024-07-09 · unverdicted · none · ref 12
Deciding synchronizability for mailbox systems under round-based policy with no round-size limit is PSPACE-complete.