7099 search results - page 208 / 1420 » Context for models of concurrency |
166
click to vote
INFSOF
2002
15 years 6 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
164
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
198
click to vote
CRYPTO
2006
Springer
15 years 11 months ago
2006
Springer
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...
305
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
189
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...