From: purush@guardian.cs.psu.edu (S Purushothaman)
Newsgroups: news.announce.conferences
Subject: Process Algebra Workshop
Date: 27 Jul 92 18:23:05 GMT
Expires: Fri, 28 Aug 1992 07:00:00 GMT
Distribution: news
Organization: (none)


			   PRELIMINARY PROGRAM

	  First North American Process Algebra Workshop (NAPAW)
	       August 28 (immediately following CONCUR '92)
			  Stony Brook, New York


Organized by: S. Purushothaman and Amy Zwarico

Program Committee:

Rance Cleaveland, North Carolina State University
Richard Gerber, University of Maryland at College Park
Faron Moller, Edinburgh
S. Purushothaman, Penn State University
Amy Zwarico, Johns Hopkins University

PRELIMINARY PROGRAM

First North American Process Algebra Workshop (NAPAW)
August 28, 1992, Stony Brook, New York

Registration: 8:00 - 8:45

Opening Remarks: 8:45

Session 1

9-9:30   Real-Time Calculi and Expansion Theorems,
	 J.C. Godskesen and K. Larsen (Aalborg University)
9:30-10  Modal Logics in Timed Process Algebra,
	 L. Brim (Masaryk University Brno)
10-10:30 Process Communication Environment,
	 D.P Gruska and A. Maggiolo-Schettini (University of Pisa)

10:30-11 Break

Session 2

11-11:30 A Process Calculus with Incomparable Priorities,
	 H.A. Hansson and R. Orava (Swedish Inst. of Comp. Sci. and
		Uppsala University)
11:20-12 CCSR 92: Calculus for Communicating Shared Resources,
		vintage 1992,
	 P. Br\'emond-Gr\'egoire, S. Davidson and I. Lee
		(University of Pennsylvania)
12-12:30 Exception Handling in Process Algebra,
	 F.S. De Boer, J. Coenen and R. Gerth
		(Eindhoven University of Technology)

12:30-2  Lunch

Session 3

2-2:30   Bisimulations on Observation Structures,
	 P. Degano, R. De Nicola and U. Montanari (University of Pisa)
2:30-3   Computing Ready Simulations Efficiently,
	 B. Bloom (Cornell) and R. Paige (New York University)
3-3:30   Analysis of Value-Passing CCS Agents with Infinite Sorts,
         Z. Schreiber (Imperial College)
3:30-4	 An Extension of the Testing Method for Processes Passing
		Infinite Values,
	 S. Yuen, T. Sakabe, Y. Inagaki (Nagoya University)

4-4:30 Break

Session 4

4:30-5   Constructive Semantics,
         P.C. Brown (GE CRD))
5-5:30	 A Causality Based Semantics for CCS,
	 R.J. Coelho da Costa and J.-P. Courtiat (LAAS/CNRS)
5:30-6	 A $\pi$-calculus Semantics of Logic Variables and Unification,
	 B.J. Ross (University of Victoria)

______________________________________________________________________

LOCATION, HOTEL RESERVATION and TRANSPORTATION

NAPAW will be held immediately following CONCUR '92 at Danford's in
Stony Brook, New York.  The CONCUR rate for the hotel has been
extended through Saturday night.  If you are not attending CONCUR, you
can contact Danford's at (516) 928-5200 and say that you are
affiliated with CONCUR '92.  Further details on hotel reservation and
transportation to Stony Brook can be found in the announcement for
CONCUR '92; An electronic copy of which, in LaTex format, can be
obtained via anonymous FTP from sbcs.sunysb.edu.  The file is located
in pub/CONCUR92/cfr.tex.Z and is in compressed format.  The internet
address of sbcs.sunysb.edu is 130.245.1.15


______________________________________________________________________

ADVANCE REGISTRATION

Please use a copy of this form to pre-register either electronically
or by traditional mail.  Please mail your completed form to:

purush@guardian.cs.psu.edu

or

S. Purushothaman
Dept of Computer Science
Penn State University
University Park, PA  16802

___________________________________________________________________________


NAPAW Registration Form
Surname:
Given name:
Affiliation:
Address:

Postal code:                            Country:
Phone number:                           Fax number:
Email address:

___________________________________________________________________________
Newsgroups: news.announce.newgroups,news.groups,sci.virtual-worlds