7 search results - page 2 / 2 » Operator Precedence and the Visibly Pushdown Property |
LATIN
2010
Springer
14 years 19 days ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
ECOOP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...