scientific article; zbMATH DE number 4180790

zbMATH Open0716.68036MaRDI QIDQ3204035FDOQ3204035

Authors: Jay L. Gischer 

Publication date: 1989

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

Recommendations

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

zbMATH Keywords

concurrencySystem Executions

Mathematics Subject Classification ID

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

Cited In (1)

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