946 search results - page 86 / 190 » Process Algebra and Non-Interference |
108
click to vote
ENTCS
2002
15 years 13 days ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
90
Voted
AMAST
1998
Springer
15 years 4 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...
93
Voted
CCS
2006
ACM
15 years 4 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...
77
Voted
CIDR
2007
15 years 2 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 ...
CORR
2008
Springer
15 years 21 days 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...