Satisfiability of dataflow models of distributed programs
type: Item
instance of: scholarly article
title: Satisfiability of dataflow models of distributed programs
zbMATH Open document ID: 1038.68028
DOI: 10.1023/A:1012336809259
author: V. V. Toporkov
published in: Programming and Computer Software
publication date: 2003-09-01T00:00:00Z
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 1973007
MaRDI profile type: Publication
full work available at URL: a:1012336809259
OpenAlex ID: W1496063582
description: scientific article; zbMATH DE number 1973007