6031 search results - page 70 / 1207 » Communicating Transaction Processes |
ENTCS
2008
14 years 12 months ago
2008
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
ICMAS
2000
15 years 1 months ago
2000
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
172
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
IV
2008
IEEE
15 years 6 months ago
2008
IEEE
With the increasing complexity of in-car communication architectures, their diagnostics have become essential for automotive development and maintenance. In order to help engineer...