Sciweavers

Share
23 search results - page 1 / 5
» Decision problems for pushdown threads
Sort
View
ACTA
2007
104views more  ACTA 2007»
9 years 10 months ago
Decision problems for pushdown threads
Threads as contained in a thread algebra emerge from the behavioral abstraction from programs in an appropriate program algebra. Threads may make use of services such as stacks, an...
Jan A. Bergstra, Inge Bethke, Alban Ponse
FSTTCS
2004
Springer
10 years 3 months ago
Visibly Pushdown Games
The class of visibly pushdown languages has been recently deļ¬ned as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
Christof Löding, P. Madhusudan, Olivier Serre
FSTTCS
2005
Springer
10 years 3 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
RP
2015
Springer
4 years 6 months ago
On Boundedness Problems for Pushdown Vector Addition Systems
Abstract. We study pushdown vector addition systems, which are synchronized products of pushdown automata with vector addition systems. The question of the boundedness of the reach...
Jérôme Leroux, Grégoire Sutre,...
RP
2009
Springer
124views Control Systems» more  RP 2009»
10 years 4 months ago
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
Denis Lugiez
books