Results 1 -
4 of
4
www.elsevier.com/locate/entcs Expressiveness of Process Algebras
"... We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature. ..."
Abstract
- Add to MetaCart
We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.
Deriving Labels and Bisimilarity for Concurrent Constraint Programming
, 2010
"... Abstract. Concurrent constraint programming (ccp) is a well-established model for concurrency that builds upon operational and algebraic notions from process calculi and first-order logic. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity ..."
Abstract
- Add to MetaCart
Abstract. Concurrent constraint programming (ccp) is a well-established model for concurrency that builds upon operational and algebraic notions from process calculi and first-order logic. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, however, is not completely satisfactory for ccp since it yields an equivalence that is too fine grained. By building upon recent foundational investigations, we introduce a labelled w.r.t. the typical observational equivalence in ccp. This way we provide ccp with a new proof technique for ccp coherent with existing ones.
