6 citations · 11 across the 4 of their papers we have counts for
4 papers
A fully-abstract semantics of lambda-mu in the pi-calculus
Steffen van Bakel, Maria Grazia Vigliotti
We study the lambda-mu-calculus, extended with explicit substitution, and define a compositional output-based interpretation into a variant of the pi-calculus with pairing that pre…
Operational semantics for product-form solution
Maria Grazia Vigliotti
In this paper we present product-form solutions from the point of view of stochastic process algebra. In previous work we have shown how to derive product-form solutions for a form…
Note on a simple type system for non-interference
Steffen van Bakel, Maria Grazia Vigliotti
We consider CCS with value passing and elaborate a notion of noninterference for the process calculi, which matches closely that of the programming language. The idea is to view ch…
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti
We study the Pi-calculus, enriched with pairing and non-blocking input, and define a notion of type assignment that uses the type constructor "arrow". We encode the circuits of the…