A distributed algorithm for GSPN reachability graph generation
From MaRDI portal
Publication:5929020
DOI10.1006/jpdc.2000.1664zbMath0973.68260OpenAlexW2020727467MaRDI QIDQ5929020
No author found.
Publication date: 27 November 2001
Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jpdc.2000.1664
Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Uses Software
This page was built for publication: A distributed algorithm for GSPN reachability graph generation