• Aucun résultat trouvé

pi-calculus

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

... applied pi calculus has been the basis for much further work, described in many research publications (some of which are cited below) and tutorials [3, 49, ...applied pi calculus as input ...

111

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

... MOVES, RWTH Aachen, Germany 4 Queen Mary University of London, UK Abstract. We investigate the problem of deciding first-order theories of finite trees with several distinguished congruence relations, each of them given ...

17

On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus

On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus

... 106 CHAPTER 5. LINEARITY, PERSISTENCE AND TESTING SEMANTICS IN THE ASYNCHRONOUS PI-CALCULUS [11, 34] are based on discrimination introduced by divergence that is clearly ig- nored by the standard notion of ...

162

Types for Complexity of Parallel Computation in Pi-Calculus

Types for Complexity of Parallel Computation in Pi-Calculus

... · Pi-calculus · Process Calculi · Complexity Analysis · Implicit Computational Complexity · Size Types 1 Introduction The problem of certifying time complexity bounds for programs is a challenging question, ...

29

Intersection Types and Runtime Errors in the Pi-Calculus

Intersection Types and Runtime Errors in the Pi-Calculus

... AKIRA YOSHIMIZU, INRIA Sophia Antipolis, France We introduce a type system for the π -calculus which is designed to guarantee that typable processes are well-behaved, namely they never produce a run-time error ...

30

An Interpretation of Typed Objects Into Typed $\pi$-calculus

An Interpretation of Typed Objects Into Typed $\pi$-calculus

... Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY Unite´ de recherche INRIA Rennes, Iri[r] ...

44

On the reduction of chocs bisimulation to pi-calculus bisimulation

On the reduction of chocs bisimulation to pi-calculus bisimulation

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...

22

On the Decidability of Fragments of the Asynchronous Pi-Calculus

On the Decidability of Fragments of the Asynchronous Pi-Calculus

... Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex France Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - [r] ...

22

A compositional semantics for the reversible pi-calculus

A compositional semantics for the reversible pi-calculus

... D. Outline This paper is organized as follows: in Section II we introduce the syntax and the labelled transition semantics for the reversible π-calculus and we show its main properties in Section III. In Section ...

11

A synchronous pi-calculus

A synchronous pi-calculus

... We claim that our approach to the semantics of the Sπ-calculus is rather natural and mathematically robust, however we cannot claim that it is more canonical than, say, the weak, early bisimulation semantics of ...

29

On the Representation of References in the Pi-Calculus

On the Representation of References in the Pi-Calculus

... We have seen in Example 3 two equivalent processes whose initial store (a single reference). 252[r] ...

21

On the Representation of References in the pi-calculus

On the Representation of References in the pi-calculus

... We call such names reference names, and call plain names the remaining names. Q for an input whose bound name does not appear in Q.) In the encoding, an. 295[r] ...

27

Type Inference for the receptive distributed Pi-calculus

Type Inference for the receptive distributed Pi-calculus

... The type system we used is a simplified version of the simple type system of [HR98]; that is we use location types : : that records the names and types that may be used to communicate[r] ...

34

On differential interaction nets and the pi-calculus

On differential interaction nets and the pi-calculus

... rule is simply to open the box. In a joint work with Kohei Honda [HL06], the second author proposed a translation of a version of the π-calculus in proof-nets for a version of linear logic extended with the ...

52

Proof of the Subject Reduction Property for a Pi-Calculus in COQ

Proof of the Subject Reduction Property for a Pi-Calculus in COQ

... 101 - 54602 Villers lès Nancy Cedex France Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex France Unité de recherche INRIA Rhône-Alpes : 65[r] ...

22

Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice

Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice

... Typed Conversion vs. Untyped Conversion When designing the Colored λΠ-Calculus Modulo, we have chosen to constrain the conversion to contain only weakly well- typed terms because weak subject reduction makes the ...

169

Compositional Event Structure Semantics of the Internal pi-Calculus

Compositional Event Structure Semantics of the Internal pi-Calculus

... Hence we apply a second relabelling er that simply erases the tags: τ if α = τx=y erα = α otherwise 4.2 Definition of the semantics The semantics of the πI-calculus is then defined as f[r] ...

19

pi-calculus, internal mobility, and agent-passing calculi

pi-calculus, internal mobility, and agent-passing calculi

... Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY Unite´ de recherche INRIA Rennes, Iri[r] ...

44

The Receptive Distributed $\pi$-Calculus

The Receptive Distributed $\pi$-Calculus

... 101 - 54602 Villers lès Nancy Cedex France Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex France Unité de recherche INRIA Rhône-Alpes : 65[r] ...

43

The Attributed Pi Calculus with Priorities

The Attributed Pi Calculus with Priorities

... Whereas an increased expressiveness of a modeling language typically will ease the development of models, it requires additional support for developing models, e.g. to ensure type consistency, and burdens model analysis ...

66

Show all 535 documents...

Sujets connexes