J. W. de Bakker, Erik P. de Vink. Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundamenta Informaticae, 20(1/2/3):3-34, 1994.
@article{BakkerV94,
title = {Bisimulation Semantics for Concurrency with Atomicity and Action Refinement},
author = {J. W. de Bakker and Erik P. de Vink},
year = {1994},
tags = {semantics, refinement, action semantics},
researchr = {https://researchr.org/publication/BakkerV94},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {20},
number = {1/2/3},
pages = {3-34},
}