221 search results - page 41 / 45 » Representing Concurrent Actions in Extended Logic Programmin... |
141
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
166
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
148
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
223
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
137
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...