@article{article, title  = {{Unifying concurrent and relational refinement}},

 url = {{}},

 year = {{2002}},

 month = {{1}},

 author = {{Boiten E and Derrick J}},

 doi = {{10.1016/S1571-0661(05)80488-8}},

 volume = {{70}},

 journal = {{Electronic Notes in Theoretical Computer Science}},

 issue = {{3}},

 pages = {{94-131}},

 note = {{Accessed on 2024/12/20}}}