1012 search results - page 74 / 203 » Process Algebra with Backtracking |
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
IDEAS
2000
IEEE
14 years 9 days ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
TDM
2004
13 years 9 months ago
2004
This work may be seen as a further proof of the versatility of the relational database model. Here, we add XQuery to the catalog of languages which RDBMSs are able to "speak&...