1788 search results - page 66 / 358 » Model Theory for Process Algebra |
133
click to vote
ACS
2011
14 years 7 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
77
Voted
ECIS
2004
15 years 2 months ago
2004
This research throws light on to the role of social issues in developing a successful information system. In a case study of a community health organization, we describe how IT ma...
104
Voted
ER
2000
Springer
15 years 4 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
105
Voted
ECIS
2004
15 years 2 months ago
2004
The development of business models for eBusiness has become increasing popular within both the academic and business arena. We believe that many of the business models for eBusine...
94
Voted
FOSSACS
2004
Springer
15 years 4 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...