Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism
type: Item
instance of: scholarly article
title: Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism
zbMATH Open document ID: 0813.68034
DOI: 10.1007/3-540-59173-7
author: Josyula Ramachandra Rao
published in: Lecture Notes in Computer Science
publication date: 1995-05-07T00:00:00Z
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 752491
zbMATH Keywords: UNITY
zbMATH Keywords: UNITY methodology
zbMATH Keywords: parallel programs
zbMATH Keywords: program verification
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-59173-7
OpenAlex ID: W4210436105
description: scientific article; zbMATH DE number 752491