Static analysis of run-time modes in Kahn process networks

zbMATH Open1263.68004MaRDI QIDQ3166643FDOQ3166643

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

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

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)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)