950 search results - page 100 / 190 » Process Algebra in PVS |
155
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
261
click to vote
AMCS
2011
14 years 10 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
119
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...
115
click to vote
FOSSACS
2004
Springer
15 years 7 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...
106
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...