Proving properties of interacting processes
type: Item
instance of: scholarly article
title: Proving properties of interacting processes
zbMATH Open document ID: 0303.68017
DOI: 10.1007/BF00288744
author: Glen Newton
published in: Acta Informatica
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3474939
MaRDI profile type: Publication
cites work: A comparison of two synchronizing concepts
cites work: Comments on: ''A comparison of two synchronizing concepts'' by P. B. Hansen
description: scientific article; zbMATH DE number 3474939