Static analysis of run-time modes in Kahn process networks

MaRDI QIDQ3166643zbMATH OpenFDO

Authors Michael Beyer

Publication date 15 October 2012

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-1252-1

zbMATH Keywords

static analysisKahn process networksrun-time modes

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer system organization (68Mxx)

Recommendations

• Static analysis of run-time modes in synchronous process network
• scientific article; zbMATH DE number 1956562
• Synchronous Kahn networks
• Compiling process networks to interaction nets
• \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems

Cited in

(3)

• scientific article; zbMATH DE number 1956488 (Why is no real title available?)
• Static analysis of run-time modes in synchronous process network
• scientific article; zbMATH DE number 1956562 (Why is no real title available?)

This page was built for publication: Static analysis of run-time modes in Kahn process networks

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