Static Analysis of Run-Time Modes in Synchronous Process Network

DOI10.1007/978-3-642-29709-0_7zbMATH Open1336.68176OpenAlexW89260888MaRDI QIDQ3457971

Sabine Glesner, Michael Beyer

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29709-0_7

zbMATH Keywords

optimizationstatic analysispolyhedral abstractionprogram modessynchronous process networks

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Static Analysis of Run-Time Modes in Synchronous Process Network

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457971)