scientific article; zbMATH DE number 761760
From MaRDI portal
Publication:4835665
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of operating systems (68N25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)
Recommendations
Cited in
(5)- A suite of tools for debugging distributed autonomous systems
- scientific article; zbMATH DE number 1728461 (Why is no real title available?)
- scientific article; zbMATH DE number 1953334 (Why is no real title available?)
- scientific article; zbMATH DE number 2000362 (Why is no real title available?)
- Debugging distributed programs using controlled re-execution
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4835665)