Elementary transition systems and refinement
type: Item
instance of: scholarly article
title: Elementary transition systems and refinement
zbMATH Open document ID: 0790.68091
DOI: 10.1007/BF01185561
author: P. S. Thiagarajan
author: Mogens Nielsen
author: Grzegorz Rozenberg
published in: Acta Informatica
publication date: 1992-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 567328
zbMATH Keywords: model of distributed computations
zbMATH Keywords: elementary transition systems
zbMATH Keywords: elementary net systems
zbMATH Keywords: compositional reasoning
MaRDI profile type: Publication
cites work: Partial (set) 2-structures. II: State spaces of concurrent systems
cites work: A calculus of communicating systems
cites work: Elementary transition systems
cites work: Q3785958
cites work: Q3030239
description: scientific article; zbMATH DE number 567328