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.