Campus Event Calendar: Arnaud Venet (08/06/1996 in 46.1

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

Abstract Interpretation of the pi-calculus

Arnaud Venet

Ecole Polytechnique, Paris

Logik-Seminar

AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS

AG Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Tuesday, 6 August 96

16:00

60 Minutes

46.1 - MPII

019

Saarbrücken

Abstract

We present an analysis of communications for a large fragment of the pi-calculus based on Abstract Interpretation. For this purpose we introduce a new small-step operational semantics of the pi-calculus which expresses locality of processes and sharing between names without using a term algebra. In this semantics a process is encoded by the sequence of replication unfoldings that created it. The communication channels are described by an equivalence relation over a free monoid. The analysis relies on a numerical approximation of this relation via Parikh mappings. This allows us to infer automatically accurate descriptions of infinitely growing distributions of processes.

Contact

Andreas Podelski

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Imprint / Impressum | Data Protection / Datenschutzhinweis