scientific article; zbMATH DE number 4180790

MaRDI QIDQ3204035zbMATH OpenFDO

Authors Jay L. Gischer

Publication date 1989

zbMATH Keywords

concurrencySystem Executions

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Parallel algorithms in computer science (68W10)

Recommendations

• A model of dynamical concurrent program execution
• Compact and efficiently verifiable models for concurrent systems
• scientific article; zbMATH DE number 1185853
• scientific article; zbMATH DE number 967185
• scientific article; zbMATH DE number 140005
• scientific article; zbMATH DE number 4203675
• A framework for the functional verification of SystemC models
• A Modeling Approach Based on P Systems with Bounded Parallelism

Cited in

(1)

• scientific article; zbMATH DE number 4018366 (Why is no real title available?)

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 Q3204035)