6031 search results - page 114 / 1207 » Communicating Transaction Processes |
134
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
145
click to vote
ICTAC
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
185
click to vote
DSN
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...