Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

Treffer: A formal semantics for debugging synchronous message passing-based concurrent programs

Title:

A formal semantics for debugging synchronous message passing-based concurrent programs

Authors:

Li, He, Luo, Jie, Li, Wei

Source:

Science China Information Sciences. December 2014 57(12):1-18

Database:

Springer Nature Journals

Links