Reachability in Distributed Memory Automata - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Dates and versions

hal-02983089 , version 1 (15-08-2021)

Identifiers

Cite

Benedikt Bollig, Fedor Ryabinin, Arnaud Sangnier. Reachability in Distributed Memory Automata. Computer Science Logic (CSL) 2021, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.13⟩. ⟨hal-02983089⟩
67 View
32 Download

Altmetric

Share

Gmail Facebook X LinkedIn More