Table of Contents

• On The Design of ADAJean Ichbiah. 1-10
• Interval Logic: A Higher-Level Temporal Logic for Protocol SpecificationRichard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt. 3-18
• Formal and Informal Models of Office ActivityClarence A. Ellis. 11-22
• A Calculus for Protocol Specification and ValidationS. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani. 19-34
• The Iso Reference Model and Other Protocol ArchitecturesDanny Cohen, Jonathan B. Postel. 29-34
• A Language for the Specification and Analysis of ProtocolsS. Aggarwal, Robert P. Kurshan, D. Sharma. 35-50
• An Enumerative Approach for Analyzing Time Petri NetsBernard Berthomieu, Miguel Menasche. 41-46
• Specification and Validation of Protocols by Temporal Logic and NetsMichel Diaz, Géraldo Guidacci Da Silveira. 47-52
• Modelling Elapsed Time in Protocol SpecificationS. Aggarwal, Robert P. Kurshan. 51-62
• Automatic Vectorization of Printed Maps and DrawingsJavier Jiménez, Jose L. Navalón. 53-58
• Algorithms for Some String Matching Problems Arising in Molecular GeneticsHannu Peltola, Hans Söderlund, Jorma Tarhio, Esko Ukkonen. 59-64
• Multimedia MachineMamoru Maekawa, Ken Sakamura, Chiaki Ishikawa, Tohru Shimizu. 71-77
• The Power of some Formal Models of Distributed ComputingRune Gustavsson, Björn Pehrson. 77-86
• Abstraction by Structural ReductionBjörn Pehrson. 87-94
• A System for Managing Image DataP. Economopoulos, Frederick H. Lochovsky. 89-94
• Structured Finite State Automata - A new approach for modelling distributed communications systemsStanislaw Budkowski, Elie Najm. 95-110
• A New Interactive Geographical Information System Based on Effective Image-Type Map RepresentationMasao Sakauchi, Yutaka Ohsawa. 95-100
• A Linker Allowing Hierarchic Composition of ProgramsLars-Erik Thorelli. 101-106
• Applications of Modern Programming Language Concept to Text Processing with a Large Charakter SetMasaaki Shimasaki, Yoshitoshi Kunieda, Takao Tsuda. 107-112
• Constructive and Executable Specifications of Protocol Services by using Abstract Data Types and Finite State TransducersLuigi Logrippo. 111-124
• A Behavioural Description Language for the Formal Treatment of Protocols in Distributed SystemsGünter Karjoth. 125-136
• A Conceptual Framework for Security Systems: The Action-Entity ModelU. Bussolati, Maria Grazia Fugini, Giancarlo Martella. 127-132
• Database System Design for High PerformanceRudolf Bayer. 147-155
• Timed Petri-Nets for Modelling and Alalyzing Protocols with Real-Time CharacteristicsBernd Walter. 149-159
• Methods and Languages to Prove the Power of Probabilistic MachinesRusins Freivalds. 157-162
• Time Petri Nets for Analyzing and Verifying Time Dependent Communication ProtocolsMiguel Menasche, Bernard Berthomieu. 161-172
• A Portable Data Logger for Severe EnvironmentsLauri Vatjus-Anttila, Martti Karppinen, Samuli Saukkonen. 173-176
• Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri NetsJonathan Billington. 173-185
• Remote Files for Lilith ComputersJiri Hoppe. 177-180
• Bridges for Interconnection of Ring Networks: A Simulation StudyWerner Bux, Bernd Meister, Johnny W. Wong. 181-185
• Computer Science and Computer Science EducationAlfs T. Berztiss, Norman E. Gibbs. 187-191
• VADILOC - A Protocol Validator and Its ApplicationsOmar Rafiq, Jean-Pierre Ansart. 189-197
• Software Engineering - An Educational ChallengeIan Sommerville. 193-197
• First Steps Towards Inferential ProgrammingWilliam L. Scherlis, Dana S. Scott. 199-212
• A Reliable Link Initialization ProcedureAlan E. Baratz, Adrian Segall. 199-211
• A Computation-System Based Method for Automated Proving of Protocols Against ServicesHans Eckert, Rainer Prinoth. 213-228
• Software Specifications, Data Bases and Knowledge BasesStephen W. Smoliar. 219-222
• A Multi-Formalism Programming EnvironmentJean-Marie Hullot. 223-227
• Experience with automated Protocol VerificationCarl A. Sunshine. 229-236
• How to Improve Performance of Relational DBMSRobert Demolombe. 229-233
• The Cost of Relational Algebraic Operations on Skewed Data: Estimates and ExperimentsAnthony Y. Montgomery, Daryl J. D Souza, S. B. Lee. 235-241
• Protocol Verification via Executable Logic SpecificationsDeepinder P. Sidhu. 237-248
• Universal Relation Interfaces for Database SystemsJeffrey D. Ullman. 243-252
• Quantitative Validation for Industrial Ethernet Local NetworksGerard Florin, Stéphane Natkin, A. Woog, J. Attal. 251-256
• Formulating Human Purposes - Meta-Engineering Computers for PeopleDaniel C. Dennett. 253-258
• From Formal Protocol Specification Towards Automated Performance PredictionHarry Rudin. 257-269
• Applicative Real-Time ProgrammingManfred Broy. 259-264
• Functional Programming with StreamsTetsuo Ida, Jiro Tanaka. 265-270
• VLSI and the Foundations of ComputationCarver Mead. 271-274
• Computer Art with RodinHervé Huitric, Monique Nahas. 275-282
• On the Compilation of a Domain-Based PrologJørgen Fischer Nilsson. 293-298
• A Formal Model for Or-Parallel Execution of Logic ProgramsAndrzej Ciepielewski, Seif Haridi. 299-305
• Specification, Implementation, and Verification of Communication Services on the Basis of CILHeiko Krumm, Oswald Drobnik. 301-316
• Correctness Preserving Transformations for Distributed ProgramsS. Mahadevan, R. K. Shyamasundar. 307-313
• Design, Implementation, and Validation of Secure Communications SystemsRobert E. Strom, Shaula Yemini. 317-332
• Specification and Design of (Parallel) ProgramsCliff B. Jones. 321-332
• LC/1, A Specification and Implementation Language for ProtocolsJean-Michel Ayache, Jean-Pierre Courtiat. 333-345
• Some Rules of Inductive Inference and their Use for Program SynthesisJ. M. Barzdin. 333-338
• The Bottom up Analysis of While Statements: Strongest Invariant FunctionsAli Mili. 339-343
• Naive Denotational SemanticsAndrzej Blikle, Andrzej Tarlecki. 345-355
• CUPID: A Protocol Development EnvironmentYechiam Yemini, Nihal Nounou. 347-355
• The Pandora Protocol Development SystemGerard J. Holzmann, Rob A. Beukers. 357-368
• Desirable Functionalities of Database ArchitecturesEsen A. Ozkarahan. 357-362
• Design of a Multiprocessor Relational Database SystemGeorges Gardarin, Philippe Bernadat, Nicole Temmerman, Patrick Valduriez, Yann Viémont. 363-367
• Experience with an Automated Protocol Development SystemThomas P. Blumer, Deepinder P. Sidhu. 369-380
• Architectural Concepts for High-Performance, General-Purpose ComputersGene M. Amdahl. 369-373
• Expectations of StandardizationJean-Daniel Nicoud. 375-381
• From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language)Jean-Pierre Ansart, V. Chari, D. Simon. 381-390
• Saturation in a MultiprocessorPeter Møller-Nielsen, Jørgen Staunstrup. 383-388
• Practical Vectorization Techniques for the Facom VP Sachio Kamiya, Fumio Isobe, Hideo Takashima, Masaaki Takiuchi. 389-394
• A Layer-Independent Architecture for a Testing System of Protocol ImplementationsSergio Palazzo, P. Fogliata, Gesualdo Le Moli. 393-406
• A Flexible Architekture for Protocol Studies in a Multi-Network EnvironmentRobert Cole, Peter Lloyd. 401-406
• Relationship Between Abstract and Concrete Implementations of Algebraic SpecificationsMichio Oyamaguchi. 407-412
• The Complexity of GoJ. M. Robson. 413-417
• Programming with Mathematical ThinkingSatoru Takasu, Takako Nakahara. 419-424
• User-Guided Test Sequence GenerationHasan Ural, Robert L. Probert. 421-436
• Toward a Unified Logic Basis for Programming LanguagesChih-Sung Tang. 425-429
• Ease of Use: A System Design ChallengeLewis M. Branscomb, John C. Thomas. 431-438
• Requirements for a Test Specification Language for Protocol Implementation TestingRobert L. Probert, Hasan Ural. 437-443
• Computing in the Developing Countries of AsiaGopal K. Gupta. 439-446
• Regular Tree Expressions and Behaviors of Functional NetsTakayasu Ito. 447-452
• Synchronous and Asynchronous Experiments on ProcessesMatthew Hennessy. 453-455
• A Constructive Approach to Static Verification of Program PropertiesRoberto Barbuti, Alberto Martelli. 457-462
• Logical Attribute GrammarsPierre Deransart. 463-469
• Protocol Product Testing - Some Comparisons and LessonsG. W. Cowin, R. W. S. Hale, D. Rayner. 477-492
• Co-Operative Recovery From Faults in Distributed ProgramsMathai Joseph, Abha Moitra. 481-486
• Decentralised Control Flow ProgrammingIsabel Gouveia Lima, David Mundy, Philip C. Treleaven. 487-492
• Towards an Objective Understanding of ConformanceD. Rayner. 493-503
• Applications of Artificial Intelligence Techniques to Office Automation SystemsKohei Amo, Ken-ichi Mori. 493-499
• ROSALIE: A C.A.D. Object-Oriented and Rule-Based SystemLaurence Cholvy, Jack Foisseau. 501-505
• Producing Tests for Implementations of OSI ProtocolsRichard J. Linn Jr., W. H. McCoy. 505-520
• A C.A.D. System for Process Control Based upon a StandardB. Carriere, C. Cazalot, J. M. Dumas, P. M. Grojean, P. Leroy, F. Prunet. 507-512
• Types, Abstraction and Parametric PolymorphismJohn C. Reynolds. 513-523
• Some Experience with Testing Tools for OSI Protocol ImplementationsRichard J. Linn Jr., J. Stephen Nightingale. 521-531
• Local Networking of Personal ComputersRobert Metcalfe. 525-532
• Consecutive Retrieval with Redundancy Organization of Clustered FilesThomas K. W. Tsou, Lawrence V. Saxton, Vijay V. Raghavan, Jitender S. Deogun. 533-537
• Preliminary Evaluation of a Prototype Dataflow ComputerJohn R. Gurd, Ian Watson. 545-551
• The MIT Data Flow Engineering ModelJack B. Dennis, Willie Y.-P. Lim, William B. Ackerman. 553-560
• Semantic Support for Work in OrganizationsGerald Barber, Peter de Jong, Carl Hewitt. 561-566
• MIDOC: A Microcomputer System for the Management of Structured DocumentsIrene Kowarski, Christian Michaux. 567-572
• Efficient Implementation of Logic Control Algorithms on MicroprocessorsVaclav Dvorak, Imrich Rukovansky. 573-578
• Mass-Informatics and Their Implication for Everyday LifeNicholas J. Belkin, Ralf-Dirk Hennings, Thomas Seeger. 583-587
• The Architectures in the Fifth Generation ComputersTohru Moto-Oka, Kazuhiro Fuchi. 589-602
• The D*2 Approach to Decision SupportCharles B. Stabell, Anna Mette Fuglseth. 603-608
• Analysis and Translation of Entity-Relationship Database SchemasMichael S. D. Wilkie, Alberto O. Mendelzon. 609-614
• Outline of a Tool for Document ManipulationVéronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos. 615-620
• A Language-Adaptive Programming Environment Based on a Program Analyzer and a Structure EditorTakeshi Chusho, Tan Watanabe, Toshihiro Hayashi. 621-626
• What Good is Temporal Logic?Leslie Lamport. 657-668
• A Man-Machine Speech Communication System Including Word-Based Recognition and Text-to Speech SynthesisJoseph-Jean Mariani, B. Prouts, Jean-Luc Gauvain, J. J. Gangolf. 673-679
• Facsimile Coputer Communication by Center-End Facsimile Communication NetworkToshihiko Wakahara, Masao Hiroyama, Hiroshi Ogawa. 687-691
• Three-Level Hierarchical Storage System for Facom M-380/382Akira Hattori, Minoru Koshino, Shigemi Kamimoto. 693-697
• Comparative Analysis of Computer ArchitecturesJerome C. Huck, Michael J. Flynn. 699-703
• A Grammatical Approach to Data BasesAntonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova. 705-710
• An Outline of BDGEN: A Deductive DBMSJean-Marie Nicolas, Kioumars Yazdanian. 711-717
• Working at Home or Living in the OfficeMurray Turoff, Starr Roxanne Hiltz. 719-725
• On Real-Time Distributed ComputingGérard Le Lann. 741-753
• An Automatic Environment for Boolean Information RetrivalGerard Salton, Edward A. Fox, Harry Wu. 755-762
• A Predicate Oriented Locking Approach for Integrated Information SystemsPeter Dadam, Peter Pistor, Hans-Jörg Schek. 763-768
• The nu-Conversion and an Analytic SemanticsShigeru Igarashi. 769-774
• The Challenge of Change: Information Technology and the Community - An Australian Innovative ProjectJudith H. Hammond. 781-785
• A Reference Model for Command and Response LanguagesDavid Beech. 793-797
• Recovery Algorithms for Database SystemsPhilip A. Bernstein, Nathan Goodman, Vassos Hadzilacos. 799-807
• An Introduction to the Larch Shared LanguageJohn V. Guttag, James J. Horning. 809-814
• Refinements of Generic Specifications with Algebraic ToolsDidier Bert. 815-820
• A MIMID Supercomputer System for Large Scale Numerical ApplicationsMartin Adelantado, Dominique Comte, Pierre Siron, Jean-Claude Syre. 821-826
• An Assessment of the State of the Art of Computer Based Learning Systems DesignMichael Szabo, Dale H. Bent. 839-845
• Algebra of Algorithms, Data Structures and Parallel ComputationAlexander A. Letichevsky. 859-864
• Some Linear-Time Algorithms for Systolic ArraysRichard P. Brent, H. T. Kung, Franklin T. Luk. 865-876
• Process in Computer NetworksEdward H. Sussenguth Jr.. 883-890
• The Potential and Feasibility of Computer Guided Educational DiagnosisMarlene J. Colbourn, John McLeod. 891-896
• Advances in the Exploitation of SparsityJ. K. Reid. 901-908
• A Rehabilitation of Robinson s Unification AlgorithmJacques Corbin, Michel Bidoit. 909-914
• Types and SpecificationsBengt Nordström, Kent Petersson. 915-920
• Generation of Program-Preparation Systems for Formatted Programming LanguagesGordon A. Rose, Tim Roper. 931-936
• A Portable ALGOL 68 Implementation for Minicomputers Developed Using the CDL Compiler Compiler TechniqueHans-Jörg Jäkel, Hans Loeper, H. Pietsch, G. Stiller. 937-942