Relational concurrent refinement
type: Item
instance of: scholarly article
title: Relational concurrent refinement
zbMATH Open document ID: 1093.68061
author: John Derrick
author: Eerke Boiten
published in: Formal Aspects of Computing
publication date: 2005-02-08T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2132401
zbMATH Keywords: Failures-divergences
zbMATH Keywords: Finalisation
zbMATH Keywords: Process algebra
zbMATH Keywords: Readiness
zbMATH Keywords: Refinement
zbMATH Keywords: Simulation
zbMATH Keywords: Z
MaRDI profile type: Publication
full work available at URL: s00165-003-0007-4
OpenAlex ID: W2038167407
DOI: 10.1007/S00165-003-0007-4
description: scientific article; zbMATH DE number 2132401