Debugging Process Algebra Specifications
No abstract available.
Related papers
- Process Algebraic Specification of the New Asynchronous CORBA Messaging Service ECOOP 1999
- Counter-factual typing for debugging type errors POPL 2014
- SmartCheck: automatic and efficient counterexample reduction and generalization Haskell 2014
- Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy TOPLAS 2020
- Scalable concurrency debugging with distributed graph processing CGO 2018
- Fregel: a functional domain-specific language for vertex-centric large-scale graph processing JFP 2022
- Debugging Concurrent Processes: A Case Study PLDI 1988
- On performance debugging of unnecessary lock contentions on multicore processors: a replay-based approach CGO 2015