Bakker, J. W. d., & Vink, E. P. d. (1992). Bisimulation semantics for concurrency with atomicity and action refinement.
Chicago Style (17th ed.) CitationBakker, Jacobus W. de, and E. P. de Vink. Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Amsterdam, 1992.
MLA (9th ed.) CitationBakker, Jacobus W. de, and E. P. de Vink. Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. 1992.
Warning: These citations may not always be 100% accurate.