An example of sequentialization of a parallel algorithm

DOI10.1016/0167-6423(89)90017-8MaRDI QIDQ1262778zbMATH OpenOpenAlexFDO

Authors André Arnold

Publication date 1989

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(89)90017-8

zbMATH Keywords

parallel algorithmleast fixed pointfinite transition system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Algorithms in computer science (68W99)

Recommendations

• A linear algorithm to solve fixed-point equations on transition systems
• An improved algorithm for the evaluation of fixpoint expressions
• Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs
• Parallel and symbolic model checking for fixpoint logic with chop
• scientific article; zbMATH DE number 719843

Cited in

(2)

• Complex variables approach to the short-axis-mode rotation of a rigid body
• A linear algorithm to solve fixed-point equations on transition systems

This page was built for publication: An example of sequentialization of a parallel algorithm

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