State space reduction by non-standard semantics for deadlock analysis

Authors:
Nicoletta De Francesco;Antonella Santone;Gigliola Vaglini
Affiliations:
-;-;-
Venue:
Science of Computer Programming
Year:
1998

Citing 0
Cited 4

Using heuristic search for finding deadlocks in concurrent systems

Information and Computation
DELFIN+: An efficient deadlock detection tool for CCS processes

Journal of Computer and System Sciences
Using heuristic search for finding deadlocks in concurrent systems

Information and Computation
A time stamp reduction method for state space exploration using colored Petri nets

Simulation

Quantified Score

Hi-index	0.03

Visualization

Abstract