4460 search results - page 115 / 892 » Resources in process algebra |
157
click to vote
LREC
2008
15 years 7 months ago
2008
The "download first, then process paradigm" is still the predominant working method amongst the research community. The web-based paradigm, however, offers many advantag...
147
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
159
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
131
click to vote
CIDR
2007
15 years 7 months ago
2007
We describe the design and implementation of the Cornell Cayuga System for scalable event processing. We present a query language based on Cayuga Algebra for naturally expressing ...
154
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the searc...