True concurrency in models of asynchronous circuit behavior
type: Item
instance of: scholarly article
title: True concurrency in models of asynchronous circuit behavior
zbMATH Open document ID: 1020.68017
DOI: 10.1023/A:1022902408130
author: S. J. Silver
author: Janusz Brzozowski
published in: Formal Methods in System Design
publication date: 2003-05-11T00:00:00Z
Mathematics Subject Classification ID: 68M99
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 1908514
zbMATH Keywords: asynchronous
zbMATH Keywords: circuit
zbMATH Keywords: delay-insensitive
zbMATH Keywords: multiple-winner
zbMATH Keywords: single-winner
zbMATH Keywords: interleaving
zbMATH Keywords: semi-modular
zbMATH Keywords: true concurrency
MaRDI profile type: Publication
full work available at URL: a:1022902408130
OpenAlex ID: W141148094
description: scientific article; zbMATH DE number 1908514