An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport s Fast Mutual Exclusion Algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen. An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport s Fast Mutual Exclusion Algorithm. IEEE Trans. Parallel Distrib. Syst., 3(2):221-240, 1992. [doi]

This author has not been identified. Look up 'Gianfranco Balbo' in GoogleThis author has not been identified. Look up 'Giovanni Chiola' in GoogleThis author has not been identified. Look up 'Steven C. Bruell' in GoogleThis author has not been identified. Look up 'Pozung Chen' in Google

runs on WebDSL