
Contextual Equivalence for Signal Flow Graphs
We extend the signal flow calculus—a compositional account of the classi...
read it

Bisimulations for DelimitedControl Operators
We propose a survey of the behavioral theory of an untyped lambdacalcul...
read it

On Some Equivalence Relations between Incidence Calculus and DempsterShafer Theory of Evidence
Incidence Calculus and DempsterShafer Theory of Evidence are both theor...
read it

Gradual Typing for Extensibility by Rows
This work studies gradual typing for row types and row polymorphism. Key...
read it

Causal Inference by Surrogate Experiments: zIdentifiability
We address the problem of estimating the effect of intervening on a set ...
read it

What's Decidable about (Atomic) Polymorphism
Due to the undecidability of most typerelated properties of System F li...
read it

Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
With the inclusion of an effective methodology, this article answers in ...
read it
On sequentiality and wellbracketing in the πcalculus
The π calculus is used as a model for programminglanguages. Its contexts exhibit arbitrary concurrency, makingthem very discriminating. This may prevent validating desirable behavioural equivalences in cases when more disciplinedcontexts are expected.In this paper we focus on two such common disciplines:sequentiality, meaning that at any time there is a single threadof computation, and wellbracketing, meaning that calls toexternal services obey a stacklike discipline. We formalise thedisciplines by means of type systems. The main focus of thepaper is on studying the consequence of the disciplines onbehavioural equivalence. We define and study labelled bisimilarities for sequentiality and wellbracketing. These relationsare coarser than ordinary bisimilarity. We prove that they aresound for the respective (contextual) barbed equivalence, andalso complete under a certain technical condition.We show the usefulness of our techniques on a number ofexamples, that have mainly to do with the representation offunctions and store.
READ FULL TEXT
Comments
There are no comments yet.