BRICS
             Basic Research in Computer Science
     B
     R
     ICS
     L
     S
     -
     98-4
     P
     .
     Q
     u
     aglia:  Theπ-Calculus:
     T
     h       Notes on Labelled Semantics
     e
     π
     -Calculus:
     Notes
     on
     LabelledPaola Quaglia
     S
     emantics
             BRICSLectureSeries                  LS-98-4
             ISSN1395-2048                   December1998
                                  c
                       Copyright 
1998,        BRICS,DepartmentofComputerScience
                                               University of Aarhus. All rights reserved.
                                               Reproduction of all or part of this work
                                               is permitted for educational or research use
                                               oncondition that this copyright notice is
                                               included in any copy.
                       See back inner page for a list of recent BRICS Lecture Series publica-
                       tions. Copies may be obtained by contacting:
                                               BRICS
                                               Department of Computer Science
                                               University of Aarhus
                                               NyMunkegade,building540
                                               DK–8000AarhusC
                                               Denmark
                                               Telephone:+45 89423360
                                               Telefax:    +4589423255
                                               Internet:   BRICS@brics.dk
                       BRICS publications are in general accessible through the World Wide
                       WebandanonymousFTPthroughtheseURLs:
                                               http://www.brics.dk
                                               ftp://ftp.brics.dk
                                               This document in subdirectory LS/98/4/
       Theπ-Calculus:
       Notes on Labelled Semantics
                      Paola Quaglia