11324 search results - page 1919 / 2265 » Coordination Models and Languages |
161
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
197
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
194
click to vote
CALCO
2005
Springer
16 years 9 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
162
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
213
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...