1532 search results - page 164 / 307 » An Algebraic Process Calculus |
146
click to vote
ENTCS
2002
15 years 4 months 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...
155
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for eva...
140
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
122
click to vote
AMAST
1998
Springer
15 years 8 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...
129
click to vote
CCS
2006
ACM
15 years 8 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...