Causally Consistent Dynamic Slicing

DOI10.4230/LIPIcs.CONCUR.2016.18zbMath1392.68313arXiv1610.02327OpenAlexW2418583119MaRDI QIDQ4608670

Deepak Garg, James Cheney, Roly Perera

Publication date: 21 March 2018

Full work available at URL: https://arxiv.org/abs/1610.02327

zbMATH Keywords

Galois connection\(\pi\)-calculuscausal equivalencedynamic slicing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (2)

Causal-consistent replay debugging for message passing programs ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

This page was built for publication: Causally Consistent Dynamic Slicing