How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Open Access
- 20 February 2006
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 135 (2), 3-18
- https://doi.org/10.1016/j.entcs.2005.10.015
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Distributed reachability analysis in timed automataInternational Journal on Software Tools for Technology Transfer, 2003
- Depth-first search is inherently sequentialInformation Processing Letters, 1985
- The circuit value problem is log space complete for PACM SIGACT News, 1975