Weighted Pushdown Systems and Trust-Management Systems
No abstract available.
Related papers
- Weighted Pushdown Systems with Indexed Weight Domains TACAS 2013
- Extended Weighted Pushdown Systems CAV 2005
- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis SAS 2003
- Weighted Dynamic Pushdown Networks ESOP 2010
- Faster Algorithms for Weighted Recursive State Machines ESOP 2017
- Trust Management in Strand Spaces: A Rely-Guarantee Method ESOP 2004
- Improving Pushdown System Model Checking CAV 2006
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems CAV 2010