scientific article; zbMATH DE number 1231560

MaRDI QIDQ4222876zbMATH OpenFDO

Authors

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#KS

zbMATH Keywords

recursive-parallel systemstransition systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesis of parallel recursive programs in structural functional models
• scientific article; zbMATH DE number 1183282
• Programming models for parallel computing
• Analysis of recursively parallel programs
• Models for parallel computations
• An efficient programming model for memory-intensive recursive algorithms using parallel disks
• Parallel functions in recursive program schemes
• A hardware independent parallel programming model
• MODELS AND TRENDS IN PARALLEL PROGRAMMING

Cited in

(13)

• Handling infinitely branching well-structured transition systems
• Recursive Petri nets
• Analysis of recursively parallel programs
• On probabilistic parallel programs with process creation and synchronisation
• Parallel functions in recursive program schemes
• scientific article; zbMATH DE number 1285785 (Why is no real title available?)
• scientific article; zbMATH DE number 6887115 (Why is no real title available?)
• An automata-theoretic approach to the reachability analysis of RPPS systems
• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
• Verification, Model Checking, and Abstract Interpretation
• Well-structured transition systems everywhere!
• The regular viewpoint on PA-processes
• A formal model of a system for automated program parallelization

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