Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
22
0

Year Published

2010
2010
2016
2016

Publication Types

Select...
3
1

Relationship

2
2

Authors

Journals

citations
Cited by 33 publications
(22 citation statements)
references
References 42 publications
(22 reference statements)
0
22
0
Order By: Relevance
“…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.…”
Section: Introductionmentioning
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.…”
Section: Introductionmentioning
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.…”
Section: Discussion and Related Workmentioning
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.…”
Section: Applicability To Extensions Of the π-Calculusmentioning
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.…”
Section: Applicability To Extensions Of the π-Calculusmentioning
confidence: 99%