We present the attributed π-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The λ-calculus serves as a constraint language underlying the π-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed π-...
