A fast method of deadlock avoidance
Piotr Bak (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Towards parallelization of concurrent systems”
A fast method of deadlock avoidance
Inevitability in diamond processes
Edward Ochmanski, Wojciech Penczek (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Normalization of place/transition-systems preserves net behaviour
E. Pelz (1992)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
On the comparison of pure jump processes
B. Bassan, M. Scarsini (1992)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
A simple interpretation of two stochastic processes subject to an independent death process.
Gani, Joseph, Swift, Randall J. (2009)
Applied Mathematics E-Notes [electronic only]
Similarity:
On geometric automata which can nondeterministically choose auxiliary points
Ulrich Huckenbeck (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
On deciding some equivalences for concurrent processes
Dung T. Huynh, Lu Tian (1994)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: