1532 search results - page 143 / 307 » An Algebraic Process Calculus |
146
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
172
click to vote
TCS
2002
15 years 4 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...
122
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
228
click to vote
FSTTCS
2010
Springer
15 years 1 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...
119
click to vote
IDEAS
2000
IEEE
15 years 9 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...