950 search results - page 70 / 190 » Process Algebra in PVS |
TCS
2002
13 years 9 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
AMAST
1995
Springer
14 years 1 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
14 years 1 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
IDEAS
2000
IEEE
14 years 2 months 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 11 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&...