Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nalini Vasudevan
Static Deadlock Detection for the SHIM Concurrent Language
Related publications
Deadlock Detection and Avoidance in Static Step Topology Under Distributed Environment
Journal of Software Engineering and Applications
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Deadlock Detection for Actor-Based Coroutines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving Two Deadlock Cycles Through Neighbor Replication on Grid Deadlock Detection Model
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Order Language Extensions for Concurrent Processing.
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modularity and Conventions for Maintainable Concurrent Language Implementations
An Analysis and Improvement of Probe-Based Algorithm for Distributed Deadlock Detection
Lecture Notes on Software Engineering
