scientific article; zbMATH DE number 6093529

zbMATH Open1263.68004MaRDI QIDQ3166643FDOQ3166643

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

Title of this publication is not available (Why is that?)

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:

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