5334 search results - page 75 / 1067 » Communicating quantum processes |
118
click to vote
ENTCS
2007
15 years 3 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
134
click to vote
SETP
2007
15 years 4 months ago
2007
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...
119
Voted
TC
2002
15 years 3 months ago
2002
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
148
click to vote
HICSS
1997
IEEE
15 years 7 months ago
1997
IEEE
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
119
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...