122x Filetype PDF File size 0.16 MB Source: www.brics.dk
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
no reviews yet
Please Login to review.