Realizability of concurrent recursive programs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Methods in System Design Année : 2018

Dates et versions

hal-02398192 , version 1 (06-12-2019)

Identifiants

Citer

Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl. Realizability of concurrent recursive programs. Formal Methods in System Design, 2018, 53 (3), pp.339-362. ⟨10.1007/s10703-017-0282-y⟩. ⟨hal-02398192⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More