790 search results - page 30 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
126
click to vote
ENTCS
2008
15 years 2 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
132
click to vote
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
136
click to vote
SCP
2010
15 years 9 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
117
click to vote
AAMAS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
122
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...