scientific article; zbMATH DE number 1262867

MaRDI QIDQ4233972zbMATH OpenFDO

Authors S. C. Allmaier, Stefan Dalibor, D. Kreische

Publication date 15 March 1999

zbMATH Keywords

clustered workstationsstochastic modeling

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Distributed algorithms (68W15)

Recommendations

• A distributed algorithm for GSPN reachability graph generation
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• scientific article; zbMATH DE number 4128411
• scientific article; zbMATH DE number 1746649
• A database approach to distributed state space generation

Cited in

(6)

• Parallelization strategy for elementary morphological operators on graphs: distance-based algorithms and implementation on multicore shared-memory architecture
• A database approach to distributed state space generation
• A database approach to distributed state-space generation
• scientific article; zbMATH DE number 4128411 (Why is no real title available?)
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• Model checking of biological systems

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