Search citation statements

Paper Sections

Select...

2

2

1

Citation Types

0

22

0

Year Published

2010

2016

Publication Types

Select...

3

1

Relationship

2

2

Authors

Journals

(22 citation statements)

(22 reference statements)

0

22

0

“…This result is relevant since the π-calculus is the usual yardstick for the expressiveness of concurrent languages. Our result also illustrates that React(C ) can express extensions of the stochastic π-calculus with constraints such as π@ [23] (without priorities) and the attributed π-calculus [11]. This means that all previous models in these languages carry over to React(C ) in a systematic manner.…”

confidence: 52%

“…This result is relevant since the π-calculus is the usual yardstick for the expressiveness of concurrent languages. Our result also illustrates that React(C ) can express extensions of the stochastic π-calculus with constraints such as π@ [23] (without priorities) and the attributed π-calculus [11]. This means that all previous models in these languages carry over to React(C ) in a systematic manner.…”

confidence: 52%

“…The attribute π-calculus [15,16] aims at constraining interaction by considering values of communication attributes. A λ-function is associated to each receiving action and communication takes place only if the result of the evaluation of the function with the provided input falls within a predefined set of values.…”

confidence: 99%

“…π@ [Ver07] and its stochastic version Sπ@ [VB08] allow for communication on tuples of channels and thus increase the size of reaction sets similar to spico. The attributed π-calculus [JLNU10] extends the idea of process parameters to molecule attributes which can be of any type not just channels. Communication constraints are introduced that allow to make the rate of a communication dependent on the attribute values of interaction partners.…”

confidence: 99%

“…On one hand, one can try to reflect the location of processes as additional species attributes. In fact, the same idea is used for an encoding of BioAmbients into the attributed π-calculus, see [JLNU10]. On the other hand, spatial information could also be associated with reactions.…”

confidence: 99%