karel@dutesta.UUCP (Karel van Houten) (08/04/87)
- -
IFIP CONFERENCE
DISTRIBUTED PROCESSING
AMSTERDAM, THE NETHERLANDS
5-7 OCTOBER 1987
PROGRAMME
AND
REGISTRATION INFORMATION
INTRODUCTION
This conference is organised by Working Group 10.3 of the
International Federation for Information Processing; the Working
Group's area of study is Concurrency.
The term Distributed Processing is rather imprecise. However, for
the purpose of this conference, it refers to systems in which
processing elements are separated to a non-trival extent.
The Programme Committee received an excellent response to the
Call for Papers, and has been able to assemble a high-quality,
varied programme covering two-and-a-half days and incorporating
some sessions running in parallel.
LOCATION AND TIMING
The conference will be held at the RAI conference centre in
Amsterdam, The Netherlands. The Technical Programme will run from
0900 on Monday 5 October to 1300 on Wednesday 7 October.
It is expected that some participants may find it attractive to
arrive in Amsterdam on the Saturday, to take advantage of cheaper
airfares. Therefore, a "Welcome Party" together with
distribution of Preprints will take place on the Sunday evening.
TECHNICAL PROGRAMME
The provisional technical programme is shown on the following
pages. Final details will be sent to registered participants
nearer the date of the conference.
Monday 5 October
Session 1: Chairman - Prof. E L Dagless (GB)
Survey Papers
Architectural and Behavioural Modelling in Computer Communication
G Leduc et al (EEC)
The Inter-Site Communication Services Required by a
Distributed Operating System
C G Prohazka (S)
A Multicast Transmission Taxonomy
L Hughes (GB)
A Distributed Algorithm to Detect a Global State of a Distributed
Simulation System
B Samadi, R R Muntz, D S Parker Jr. (USA)
Session 2A: Chairman - Prof. W K Giloi (D)
Applications
An Approach to Multiple Copy Update Based on Immutability
J R Nicol, G S Blair, D Shepherd, J Walpole (GB)
On Hybrid Distributed - Centralized Database Systems
B Ciciani, D M Dias, B R Iyer, P S Yu (USA/I)
On the Identification of Semijoin Sequences for Distributed Query
Processing
B C Ooi, B Srinivasan (AUS)
Architectures
Addressing Objects in a Very Large Distributed Virtual Memory
J L Keedy, P Broessler, F A Henskens, J Rosenberg (AUS)
Naming of Objects in the Cluster System
F C M Lau, J P Black, E G Manning (CDN)
Session 2B: Chairman - Dr M H Barton (GB)
Languages & Methodologies
Invariants in Systems of Processes and Monitors
S Gjessing (N)
Efficient Distributed Termination Detection
S Chandrasekaran, C S Kannan, S Venkatesan (IND/USA)
A Method for the Construction of Probe-Based
Termination Detection Algorithms
B A Sanders (CH)
Data Structures as Sets of Processes in occam
R D Dowsing (GB)
The Specification in Z of Gateway Functions within a
Communications Network
B Potter, D Till (GB)
Tuesday 6 October
Session 3A: Chairman - Prof. E S Lee (CDN)
Agreement Protocols
Characterizing Negotiation Protocols for Faulty
Distributed Environments
M S Mazer (CDN)
A Byzantine Firing Squad Algorithm for Networks
E T Ordman (USA)
On Designing Efficient Consensus Protocols
A A Farrag, R J Dawson (CDN)
On Resolving Nondeterminism in Replicated
Distributed Architectures
L Mancini, G Pappalardo (GB)
Communications
Scheduled and Nonscheduled Access in a Distributed
System Based upon a Functional Communication Model
D C Marinescu (USA)
Cluster Control Protocol for Highly Reliable
Broadcast Communication
M Takizawa (J)
Process Survivability in a Distributed Computer System
P J Trueman (GB)
Session 3B: Chairman - Dr C Whitby-Strevens (GB)
Applications
Parallel Alpha-Beta versus Parallel SSS*
O Vornberger (USA)
An Abstract Model of Concurrency Control Algorithms
for Distributed Databases
L Lilien, W Zhang, S Huo, K Tan (USA)
Concurrent Compilation
V Seshadri, I Small, D Wortman (CDN)
An integrated Algorithm for Distributed Query Processing
C T Yu, K C Guh, A L P Chen (USA)
Import and Export of Database Objects in a Distributed Environment
L Ge, W Johannsen, W Lamersdorf,
K Reinhardt, J W Schmidt (D/PRC)
Basic Method for Mutual Utilization of Distributed
Personal Knowledge Bases
M Oba, H Itoh (J)
The Prelude Distributed Database
M C Woodward, I A Newman (GB)
Session 4a: Chairman - Prof. G L Reijns (NL)
Architectures
Task Redistribution with Allocation Constraints in a
Fault-Tolerant Real-Time Multiprocessor System
A-M Deplanche, J P Elloy (F)
An Adaptive Scheduling Model for Distributed Operating
System Supported by a Token Ring Local Area Network
C Gonzalez, Y Qu (USA)
Real-Time Distributed Operating System
E Andert, G Falacara (USA)
Performance
Resequencing with Local Precedence Constraints
A Stafylopatis (GR)
A Methodology for the Performance Evaluation of
Distributed Computations
A Kapelnikov, R R Muntz, M D Ercegovac (USA)
Performance Analysis of Some Process-to-Process Assignment
Algorithms for a UNIX Multiprocessor System
F Bonomi (USA)
Session 4B: Chairman - Dr R D Dowsing (GB)
Languanges & Methodologies
Occam in Reconfigurable Local-Area Network
M H Barton, N J Edwards (GB)
Distributed Computing with RPC: The Cambridge Approach
J M Bacon, K G Hamilton (GB/USA)
A Proposal for Autonomous and Dynamic Cooperating Processes
B Ciciani, G Cioffi (I)
Specification of a Synchronization Scheme for
Communicating Processes
K T Narayana, A A Aaby (USA)
Extensions to PLITS and Applications
G Palshikar, C R Muthukrishnan (IND)
REMODEL: a Realtimesystem Methodology on
Design and Early Evaluation
C Senft (A)
Wednesday 7 October
Session 5: Chairman - Prof. M Vanneschi (I)
Architectures
A Framework for Distributed Systems Management
M Sloman (GB)
Concurrent and Domino-Free Rollback Recovery
in Distributed Systems
T Radhakrishnan, H F Li, K Venkatesh (CDN)
REM: A Distributed Facility for Utilizing Idle
Processing Power of Workstations
G C Shoja, G Clarke, T Taylor (CDN)
Resilient Remote Procedure Call
H R Aschmann (USA)
A Heuristic for Task Scheduling in Large Multiprocessor Systems
K B Irani, A R Naji (USA)
A Synchronization Service for Locally Distributed Applications
P Goyer, P Momtahan, B Selic (USA)
PROCEEDINGS
The Proceedings of the conference will be published by North
Holland.
GENERAL INFORMATION
Date
5-7 October 1987
Place
Rai Congrescentre Europaplein 8 Amsterdam telephone: +31 20
425151
Registration
You are requested to fill in and return the attached registration
form. After receiving your registration we will invoice you for
the conference fee.
Registration and Accommodation are being handled by:
SIC
NGI
Paulus Potterstraat 40
1071 DB Amsterdam
The Netherlands
Telephone +31 20 620681
Telex: 10761 Omega NL
Telefax +31 20 794040
REGISTRATION FEE
Fee includes admission to all the conference sessions, a copy of
the proceedings, the attendees list, morning and afternoon
refreshments, lunches and the welcome party. The fee is Dfl.
595,--. After September 1, 1987 a late registration surcharge of
Dfl. 100,-- will be applied. Dutch participants have to pay an
additional 20% VAT.
HOTEL ACCOMMODATION
We have a limited number of rooms available in a hotel nearby the
conference centre. Price: approx. Dfl. 175,-- a night including
breakfast.
CANCELLATION CHARGE
Before September 15th no charge After September 15th a refund of
30% will be given.
-------------------------------------------------------------------
REGISTRATION FORM:
Name:....................................................
Affiliation:.............................................
Address:.................................................
City / Country:..........................................
Telephone:...............................................
Telex:...................................................
I wish to register for:
[ ] the conference without accommodation
[ ] the conference with accommodation
Singel / double room
Arrival date:....................
Departure date:..................
Signature:
Please return to:
Stichting Informatica Congressen
Paulus Potterstraat 40
1071 DB Amsterdam
The Netherlands
-----------------------------------------------------------------------
Registration by E-mail is not possible.