Counting Paths: Nondeterminism as Linear Algebra

DOI10.1109/TSE.1984.5010307zbMath0553.68006MaRDI QIDQ3216112

David B. Benson

Publication date: 1984

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

spectral radiusnonnegative matricesnondeterministic programsactual state transition sequenceconvergent iterative programsdeterministic divergencenondeterministic divergence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

A Term-Graph Syntax for Algebras over Multisets

This page was built for publication: Counting Paths: Nondeterminism as Linear Algebra