Concepedia

DELFIN+: An efficient deadlock detection tool for CCS processes

Sara Gradara, Antonella Santone, Maria Luisa Villani

Journal of Computer and System Sciences · 2006 · 33 citations · 28 references

Open access

Concepts

ComputingComputer EngineeringComputer ScienceFormal MethodsConcurrency AnalysisConcurrent System VerificationData-flow AnalysisDeadlock AvoidanceInterprocess CommunicationDeadlockDeadlock AnalysisDeadlock DetectionDeadlock HandlingDeadlock Resolution

References

28

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Heuristics: Intelligent search strategies for computer problem solving.

Information Processing & Management · 1985 · 1.4K citations

Computing, Computer Science, Algorithms +12

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Computing, Computer Science, Formal Methods +5

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +14

Heuristics: Intelligent Search Strategies for Computer Problem Solving

Telematics and Informatics · 1986 · 1.1K citations

Computing, Computer Science, Algorithms +13