default search action
7th IFIP Congress 1977: Toronto, Canada
- Bruce Gilchrist:
Information Processing, Proceedings of the 7th IFIP Congress 1977, Toronto, Canada, August 8-12, 1977. North-Holland 1977, ISBN 0-7204-0755-9
Future Directions in Computer Architecture
- Maurice V. Wilkes:
Beyond Today's Computers. IFIP Congress 1977: 1-5 - Yaohan Chu:
Direct-Execution Computer Architecture. IFIP Congress 1977: 7-12
Software Studies I
- Rajat K. Deb:
On Generation of Test Data and Minimal Cover of Directed Graphs. IFIP Congress 1977: 13-16 - J. L. Cheval, F. Christian, Sacha Krakowiak, Jean Montuelle, Jacques Mossière:
An Experiment in Modular Program Design. IFIP Congress 1977: 17-21 - Ken Sakamura, Hideaki Kitafusa, Yukio Takeyari, Hideo Aiso:
A Debugging Machine - An Approach to an Adaptive Computer. IFIP Congress 1977: 23-28
Pattern Recognition and Artificail Intelligence
- Kazuaki Komori, Takahiko Kawatani, Kenichiro Ishii, Yukiyasu Iida:
A Feature Concentration Method for Character Recognition. IFIP Congress 1977: 29-34 - Kiyoshi Iwata, Masumi Yoshida, Eiishiro Yamamoto, Takeshi Masui, Yukikazu Kabuyama, Shin-ichi Shimizu:
Recognition System for Handprinted Characters. IFIP Congress 1977: 35-39 - Alan W. Biermann, Douglas R. Smith:
The Hierarchical Synthesis of Lisp Scanning Programs. IFIP Congress 1977: 41-45
Educating in Computing I
- J. N. P. Hume:
Education in Computing Versus User Needs. IFIP Congress 1977: 47-51 - Ira Pohl, Alan Shaw:
Introducing Computer Science - An Alternative. IFIP Congress 1977: 53-56
Theories of Programs and Languages
- Janis Barzdin, Janis Bicevskis, Audris Kalnins:
Automatic Construction of Complete Sample System for Program Testing. IFIP Congress 1977: 57-62 - Peter Bachmann:
Data-Flow-Analysis in Weakly Interpreted Program-Schemes. IFIP Congress 1977: 63-68 - Jean-François Perrot, Jacques Sakarovitch:
A Theory of Syntactic Monoids for Context-Free Languages. IFIP Congress 1977: 69-72
New Methods for Information Systems Development
- Mats Lundeberg:
Utilization of New Information Systems Development Methods in Practice - Perspectives and Prospects. IFIP Congress 1977: 73-78 - J. O. Anton, Claude Chrisment, J. B. Crampes, M. F. Debaisieux, J. H. Luguet:
Principles of Computer-Assisted Conception for Automatic Elaboration of a Computerized Information System. IFIP Congress 1977: 79-84 - Tadashi Ishiketa, T. Yokoyama, S. Mandai, N. Takeshima:
A Managerial Decision-Making Tool - Computer Assisted Problem-Solving System (CAPSS). IFIP Congress 1977: 85-90
Finite Elements Methods
- Michel Bernadou:
Conforming Finite Element Methods for Shell Problems with Numerical Integration. IFIP Congress 1977: 91-96 - Michel Bercovier:
A Family of Finite Elements with Penalisation for the Numerical Solution of Stokes and Navier-Stokes Equations. IFIP Congress 1977: 97-101 - Owe Axelsson, Uno Nävert:
On a Graphical Package for Nonlinear Partial Differential Equation Problems. IFIP Congress 1977: 103-108
Future Directions in Information Management
- Mayford L. Roark:
Some Approaches to the Management of Change. IFIP Congress 1977: 109-112 - Kurt Ziegler Jr.:
Distributed Data Base Where Are You? (A Tutorial). IFIP Congress 1977: 113-115
Programming Languages
- Andrei P. Ershov, Valery V. Grushetsky:
An Implementation-Oriented Method for Describing Algorithmic Languages. IFIP Congress 1977: 117-122 - Marie-Claude Gaudel:
A Formal Approach to Translator Specification. IFIP Congress 1977: 123-127 - Tiko Kameda, Hussein M. Abdel-Wahab:
Optimal Code Generation for Machines with Different Types of Instructions. IFIP Congress 1977: 129-132
Data Base Theory
- T. S. E. Maibaum:
Mathematical Semantics and a Model for Data Bases. IFIP Congress 1977: 133-138 - Piero Dell'Orco, V. N. Spadavecchia, Margaret King:
Using Knowledge of a Data Base World in Interpreting Natural Language Queries. IFIP Congress 1977: 139-144 - Stephen Todd:
Automatic Constraint Maintenance and Updating Defined Relations. IFIP Congress 1977: 145-148
Distributed Processing
- Mamoru Maekawa:
Interprocess Communications in a Highly Diversified Distributed System. IFIP Congress 1977: 149-154 - Gérard Le Lann:
Distributed Systems - Towards a Formal Approach. IFIP Congress 1977: 155-160 - Toshiyuki Sakai, Tsunetoshi Hayashi, Shigeyoshi Kitazawa, Koichi Tabata, Takeo Kanade:
Inhouse Computer Network Kuipnet. IFIP Congress 1977: 161-166
Graphics
- Mamoru Hosaka, Fumihiko Kimura:
An Interactive Geometrical Design System with Handwriting Input. IFIP Congress 1977: 167-172 - Teus Hagen, Paul J. W. ten Hagen, Paul Klint, Han Noot:
The Intermediate Language for Pictures. IFIP Congress 1977: 173-178 - Eric D. Carlson, Gary M. Giddings, Robin Williams:
Multiple Colors and Image Mixing in Graphics Terminals. IFIP Congress 1977: 179-182
Numerical Analysis
- Graziano Frosini, Francesco M. Viterbo:
Computing the Frequency of a Sampled Sinusoidal Function. IFIP Congress 1977: 183-187 - David F. Shanno, Kang-Hoh Phua:
Inexact Step Lengths and Quasi-Newton Methods. IFIP Congress 1977: 189-193 - Jonas Mockus:
On Bayesian Methods for Seeking the Extremum and their Application. IFIP Congress 1977: 195-200
Computer Aided Instruction
- Jacques Hebenstreit:
New Trends and Related Problems in Computer-Based Education. IFIP Congress 1977: 201-208 - Philippe Massé, Jean-Claude Sabonnadière:
Introduction of Computer Aided Design in an Educational System. IFIP Congress 1977: 209-212
Impact of Information Systems on Organisations
- Robert I. Tricker:
The Impact of Information Systems on Organisational Thinking. IFIP Congress 1977: 213-221 - Emilio Bartezzaghi, Claudio Ciborra, Paolo Romano, Piercarlo Maggiolini:
Information Systems and Organization - Empirical Findings Regarding the Introduction of Computers in Manufacturing Firms. IFIP Congress 1977: 223-227
Modelling and Analysis of Data Networks
- Gregor von Bochmann, Jan Gecsei:
A Unified Method for the Specification and Verification of Protocols. IFIP Congress 1977: 229-234 - Lawrence Van Sickle, K. Mani Chandy:
Computational Complexity of Network Design Algorithms. IFIP Congress 1977: 235-239 - D. A. Hutchison, J. Spruce Riordon, Samy A. Mahmoud:
A Recursive Algorithm for Deadlock Preemption in Computer Networks. IFIP Congress 1977: 241-246
Pattern Recognition and Process Control
- Josef Kittler:
The Discriminant Function Approach to Classification of Incomplete Pattern Vectors. IFIP Congress 1977: 247-251 - Mario Borillo, Luis Fariñas del Cerro, Jacques Virbel:
Validation Problems in Pattern Recognition Study of a Particular Case. IFIP Congress 1977: 253-257 - V. M. Glushkov, A. I. Nikitin, I. V. Sergienko:
Problems of Plating-Line Scheduling. IFIP Congress 1977: 259
Effects OF Information Technology on Organisation Structures
- Richard L. Nolan:
Restructuring the Data Processing Organization for Data Resource Management. IFIP Congress 1977: 261-265
Trends and Developments in CAD
- József Hatvany:
Trends and Developments in Computer-Aided Design. IFIP Congress 1977: 267-271 - Frank M. Lillehagen, Jørn Øian, Jan F. Mack:
Focusing on the Internal Mode in CAD and CAM Systems. IFIP Congress 1977: 273-278
Foundations for Proofs about Programs
- J. W. de Bakker:
Semantics and the Foundations of Program Proving. IFIP Congress 1977: 279-284 - Andrzej Blikle:
An Analytic Approach to the Verification of Iterative Programs. IFIP Congress 1977: 285-290
Software Studies II
- Christian Galtier:
An Allocation Algorithm for Multi-Micro Computers Using Array Structured Data. IFIP Congress 1977: 291-296 - Ian H. Witten:
Software for Speech Output. IFIP Congress 1977: 297-301 - James M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky:
Program Generation and Transformation - Tools for Mathematical Software Development. IFIP Congress 1977: 303-308
Routing and Congestion Control in Switched Data Networks
- Wyn L. Price:
Adaptive Routing in Store-and-Forward Networks and the Importance of Load Splitting. IFIP Congress 1977: 309-313 - Johnny W. Wong, Mehmet S. Unsoy:
Analysis of Flow Control in Switched Data Networks. IFIP Congress 1977: 315-320 - Harry Rudin:
On Alternate Routing in Circuit-Switched Data Networks. IFIP Congress 1977: 321-326
Future of Data Management
- G. M. Nijssen:
On the Gross Architecture for the Next Generation Database Management System. IFIP Congress 1977: 327-335 - Norman R. Nielsen, Brian Ruder:
Computer System Integrity Safeguards. IFIP Congress 1977: 337-342
Computer Assisted Training
- B. Varet, F. Allorent, J. P. Levy, N. Salame, F. M. Blondel, J. F. Boyer:
Comparison Between a Prescribed and a Permissive Process in Computer Assisted Training in Decision Making. IFIP Congress 1977: 343-346 - Reind P. van de Riet:
BASIS - An Interactive System for the Introductory Course in Informatics. IFIP Congress 1977: 347-351
Process Control
- N. N. Krasovskii:
Control under Incomplete Information. IFIP Congress 1977: 353-365 - Michel Clerget:
Realizations of Two Dimensional Recursive Filters. IFIP Congress 1977: 367-371
Techniques in CAD I
- James N. Hanson:
The Analysis of CAMS by Computer Aided Algebraic and Symbol Manipulation. IFIP Congress 1977: 373-376 - Alina Golka:
A Computer System for the Synthesis of Reinforced Concrete Frames. IFIP Congress 1977: 377-381 - Gérard Courtieux, Daniel Guibert:
Using a Conversational Translator Writing System for Generating Computer Aided Design Systems in Architecture. IFIP Congress 1977: 383-387
Data Base Studies I
- Hermann Helbig:
A New Method for Deductive Answer Finding in a Question-Answering System. IFIP Congress 1977: 389-393 - Mayer D. Schwartz, Dorothy E. Denning, Peter J. Denning:
Securing Data Bases under Linear Queries. IFIP Congress 1977: 395-398 - Klaus-Dieter Krägeloh, Peter C. Lockemann:
Top-Down Optimization in Multi-Level Data Base Systems. IFIP Congress 1977: 399-404
Fault Tolerance
- Algirdas Avizienis:
Fault-Tolerant Computing-Progress, Problems and Prospects. IFIP Congress 1977: 405-420 - Kumar Subramanian:
A Model for Concurrent Diagnosis in a Microprogrammable System Using a Dynamic Test Scheme. IFIP Congress 1977: 421-426
Distributed Data Switching
- Paul V. Mockapetris, Michael Lyle, David J. Farber:
On the Design of Local Network Interfaces. IFIP Congress 1977: 427-430 - Ernst A. Rothauser, D. Wild:
MLMA-A Collision-Free Multi-Access Method. IFIP Congress 1977: 431-436
Telecommunications Management
- Michael L. Ford:
Business Problems in Planning of International Data Communications Networks. IFIP Congress 1977: 437-439
Data Base Studies II
- Gerard Salton, Donna Bergmark:
Clustered File Generation and its Application to Computer Science Taxonomies. IFIP Congress 1977: 441-445 - Giuseppe Pelagatti, Paolo Paolini, Giampio Bracchi:
Mappings in Database Systems. IFIP Congress 1977: 447-452 - Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine:
A Procedural Language for the Relational Data Base Management System "Syntex". IFIP Congress 1977: 453-457
Data Networks: Past, Present and Future
- Paul Baran:
Some Perspectives on Networks-Past, Present and Future. IFIP Congress 1977: 459-464 - Hubert Zimmermann:
The Cyclades Experience-Results and Impacts. IFIP Congress 1977: 465-469
Performance Evaluation
- N. A. Yannacopoulos, Roland N. Ibbett, R. W. Holgate:
Performance Measurements of the MU5 Primary Instruction Pipeline. IFIP Congress 1977: 471-476 - Simon H. Lavington, Alan E. Knowles:
Assessing the Power of an Order Code. IFIP Congress 1977: 477-480 - Anthony E. Krzesinski, S. Gerber, Peter Teunissen:
A Multiclass Network Model of a Multiprogramming Timesharing Computer System. IFIP Congress 1977: 481-486
Computational Algorithms
- J. A. van Hulzen, R. P. Hettich:
Approximation with a Class of Rational Functions. IFIP Congress 1977: 487-492 - David Y. Y. Yun:
Fast Algorithm for Rational Function Integration. IFIP Congress 1977: 493-498 - Sady Maurin:
An Application of a Component by Component Splitting up Scheme to the Hamilton-Jacobi Equation. IFIP Congress 1977: 499-502
Organisational Productivity - The Role of Information Technology
- Paul A. Strassmann:
Organisational Productivity-The Role of Information Technology. IFIP Congress 1977: 503-508
Packet Networks - Issues, Experiences, Choices
- C. Ian McGibbon, Howard Gibbs:
DATAPAC - A Phased Approach to the Introduction of Public Packet-Switched Network. IFIP Congress 1977: 509-513 - Louis Pouzin:
Packet Networks-Issues and Choices. IFIP Congress 1977: 515-521
Program Translation
- Peter Henderson:
An Approach to Compile-Time Type Checking. IFIP Congress 1977: 523-527 - George Poonen:
Error Recovery for LR(k) Parsers. IFIP Congress 1977: 529-533 - Harald Ganzinger, Knut Ripken, Reinhard Wilhelm:
Automatic Generation of Optimizing Multipass Compilers. IFIP Congress 1977: 535-540
Future Potentials in Computer Communication
- Lawrence G. Roberts:
Packet Network Design-The Third Generation. IFIP Congress 1977: 541-546 - Leonard Kleinrock:
Performance of Distributed Multi-Access Computer-Communication Systems. IFIP Congress 1977: 547-552
System Performance
- Dennis G. Kafura:
Task Scheduling with Critical Section Constraints. IFIP Congress 1977: 553-557 - Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman:
Customer Classes and Closed Network Models-A Solution Technique. IFIP Congress 1977: 559-564 - Kenneth C. Sevcik:
Priority Scheduling Disciplines in Queuing Network Models of Computer Systems. IFIP Congress 1977: 565-570
Programming Support Systems
- Eduardo A. Jordan:
A Support for Program Design with Abstract Machines. IFIP Congress 1977: 571-575 - K. Jackson:
Language Design for Modular Software Construction. IFIP Congress 1977: 577-581 - Shoji Shinozawa, Hiroosa Ikeda, Atsushi Nakashima, Masamitsu Watanabe:
Pseudo-Languages and their Pre-Processors. IFIP Congress 1977: 583-587
Data Bases and Business Systems
- Edgar H. Sibley:
The Impact of Database Technology on Business Systems. IFIP Congress 1977: 589-596
Education in Computing II
- Bernard Levrat:
The Impact of Education in Computing on Science. IFIP Congress 1977: 597-600 - John R. Abrahams, George De Wolf:
Experience with a Computer-Assisted Training System. IFIP Congress 1977: 601-605
Soft Hardware
- Kwan Chi Leung, C. Michel, P. Le Beux:
Logical Systems Design using PLAs and Petri Nets Programmable Handwired Systems. IFIP Congress 1977: 607-611 - Emilio Luque Fadon, Lorenzo Moreno Ruiz, José Francisco Tirado Fernández:
A Multilingual High Level Processor. IFIP Congress 1977: 613-618 - Mark G. Karpovsky, Eliezer A. Trachtenberg:
Linear Checking Equations and Error-Correcting Capability for Computation Channels. IFIP Congress 1977: 619-623
Graphics in Software Engineering
- Frederick P. Brooks Jr.:
The Computer "Scientist" as Toolsmith-Studies in Interactive Computer Graphics. IFIP Congress 1977: 625-634 - Michael E. Senko:
FORAL LP - Making Pointed Queries with a Light Pen. IFIP Congress 1977: 635-640
Interactive Approaches to Corporate Planning and Control
- Ian P. Sharp:
Interactive Approaches to Corporate Planning and Control with Particular Reference to the use of APL. IFIP Congress 1977: 641-642
Hardware Aids to Software
- Tetsuo Ida, Eiichi Goto:
Performance of Parallel Hash Hardware with Key Deletion. IFIP Congress 1977: 643-647 - Jonathan L. Bondy, David N. Freeman:
Putting Supervisory Routines into Hardware. IFIP Congress 1977: 649-653 - Gareth Thomas, Andrei G. Necula:
Multidimensional Array Accessing in the MU5 Computer. IFIP Congress 1977: 655-659
Computerized Evaluation and Computational Learning
- Hanan Samet:
A New Approach to Evaluating Code Generation in a Student Environment. IFIP Congress 1977: 661-665 - Alexandre Andreewsky, Fathi Debili, Christian Fluhr:
Computational Learning of Semantic Lexical Relations for the Generation and Automatical Analysis of Content. IFIP Congress 1977: 667-672
Specialized Computer Services
- Behrooz Parhami, Farhad Mavaddat:
Computers and the Farsi Language-A Survey of Problem Areas. IFIP Congress 1977: 673-676 - Paul A. Fortier, Donald Keeping:
Another Face of Computing-Service to the Blind. IFIP Congress 1977: 677-682 - T. R. Natesan, N. Sabapathy, K. Viswanathan:
Optimization of Selection and Allocation of Candidates to Professional Colleges in India. IFIP Congress 1977: 683-688
CAD - Perspectives and Prospects
- Jack Foisseau, René Jacquart, François-Régis Valette:
Means and Levels of Knowledge Representation in the CAD System Germinal. IFIP Congress 1977: 689-694 - Nicholas Negroponte:
On Being Creative with Computer Aided Design. IFIP Congress 1977: 695-704
Decision Support Systems
- Michel R. Klein:
Finsim - A Decision Support System for Financial Planning and Engineering. IFIP Congress 1977: 705-710 - J. A. M. Wolters:
Computer Based Planning and Modelling System. IFIP Congress 1977: 711-716 - Trygve Reenskaug:
Prokon/Plan-A Modelling Tool for Project Planning and Control. IFIP Congress 1977: 717-721
Logic and Proofs for Programs
- Edward A. Ashcroft, William W. Wadge:
Intermittent Assertion Proofs in Lucid. IFIP Congress 1977: 723-726 - Paul Pritchard:
Program Proving-Expression Languages. IFIP Congress 1977: 727-731 - Robert L. Constable:
A Constructive Programming Logic. IFIP Congress 1977: 733-738
System Programming
- Takanobu Baba:
A Microprogram Generating System-MPG. IFIP Congress 1977: 739-744 - Subrata Dasgupta:
Parallelism in Loop-Free Microprograms. IFIP Congress 1977: 745-750 - Jean-Loup Baer, M. Fries:
On the Efficiency of Some List Marketing Algorithms. IFIP Congress 1977: 751-756
Automated Design in Electronics
- M. A. Gavrilov:
Automation of Electronic and Microelectronic Design. IFIP Congress 1977: 757-775 - Noah S. Prywes, Yung Chang, Cihan Tinaztepe:
NOPAL - Automated Design and Programming of Testing. IFIP Congress 1977: 777-782
Verification and Programming
- David C. Luckham:
Program Verification and Verification Oriented Programming. IFIP Congress 1977: 783-793 - Malcolm C. Newey:
Proving Properties of Assembly Language Programs. IFIP Congress 1977: 795-799
Impact of Information Systems on Organisations II
- Maurice Landry, Jean-Louis Le Moigne:
Towards a Theory of Organizational Information System-A General System Perspective. IFIP Congress 1977: 801-805 - Vladimir Dimitrov, Lilly D. Driankova:
Programme System for Social Choice under Fuzzy Managing. IFIP Congress 1977: 807-811 - Enrique A. Calderon, Teresa A. Sobrino, Jose Luis A. Frias:
GEO-XI-A Socioeconomic Laboratory for Planning Agencies. IFIP Congress 1977: 813-817
Operating Systems
- Derrick Morris, G. R. Frank, Colin J. Theaker:
Machine-Independent Operating Systems. IFIP Congress 1977: 819-825 - Alfons J. Jammel, Helmut G. Stiegler:
Managers Versus Monitors. IFIP Congress 1977: 827-830
Complexity Theory
- Gerd Wechsung:
A Nonlinear Lower Bound for the Formula Complexity of Certain Boolean Functions. IFIP Congress 1977: 831-833 - Donald A. Alton:
"Natural" Complexity Measures and a Subrecursive Speed-up Theorem. IFIP Congress 1977: 835-838 - Rusins Freivalds:
Probabilistic Machines Can Use Less Running Time. IFIP Congress 1977: 839-842
Palallel Architectures
- Erik L. Dagless:
A Multiprocessor - CYBA-M. IFIP Congress 1977: 843-848 - Arvind, Kim P. Gostelow:
A Computer Capable of Exchanging Processors for Time. IFIP Congress 1977: 849-853 - Shinji Tomita, Kiyoshi Shibayama, Shigeru Oyanagi, Hiroshi Hagiwara:
Hardware Organization of a Low Level Parallel Processor. IFIP Congress 1977: 855-860
Programming Methodology
- David Lorge Parnas:
The Use of Precise Specification in the Development of Software. IFIP Congress 1977: 861-867 - Anita K. Jones:
The Narrowing Gap Between Language Systems and Operating Systems. IFIP Congress 1977: 869-873
Systems for Public Planning and Control
- Ivan Kadar, Péter Kovács:
Management Information System on the Level of Hungarian Government. IFIP Congress 1977: 875-877 - V. P. Lane, R. A. Danes:
Organization Based Structure of Financial Planning and Control System. IFIP Congress 1977: 879-883
Techniques in CAD II
- Zsuzsanna Markusz:
How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic. IFIP Congress 1977: 885-889 - Henri G. Marchand:
Algorithmic Macro Design System for Shift Registers. IFIP Congress 1977: 891-895 - D. B. Jarvis:
LSI by CAD Out of Daisy. IFIP Congress 1977: 897-900
New Approaches to Systems Integrity
- David J. Lewis:
System Quality Through Development Audit. IFIP Congress 1977: 901-904 - K. K. Wong:
A New Approach for Risk Analysis and Control - The UK Experience. IFIP Congress 1977: 905-910 - H. J. Will, H. Brussel:
ACL - A Conversational Language for Audit Intelligence. IFIP Congress 1977: 911-915
Numerical Methods in Mathematical Physics and in Control Theory
- Jacques-Louis Lions:
Numerical Methods for Variational Inequalities Applications in Physics and in Control Theory. IFIP Congress 1977: 917-924 - Claudia Lidia Simionescu:
Computational Aspects for a Control Problem. IFIP Congress 1977: 925-928
Formal Theories of Programs and Parallelism
- Toshio Nishimura:
Formalization of Concurrent Processes. IFIP Congress 1977: 929-937 - Keith L. Clark, Sten-Åke Tärnlund:
A First Order Theory of Data and Programs. IFIP Congress 1977: 939-944
Distributed Systems - Operational and Privacy Requirements
- James C. Emery:
Managerial and Economic Issues in Distributed Computing. IFIP Congress 1977: 945-955 - Rein Turn:
Implementation of Privacy Protection Requirements. IFIP Congress 1977: 957-962
Programming Systems
- Juris Reinfelds, Carlo E. Vandoni:
Sigma 76. IFIP Congress 1977: 963-968 - Richard G. Hamlet:
Single-Language Small-Processor Systems. IFIP Congress 1977: 969-974 - Jean G. Vaucher, Normand Rochon:
PL4 - A Low Level Language with Class. IFIP Congress 1977: 975-979
Concepts in Parallel Programs
- Pierre Robert, Jean-Pierre Verjus:
Toward Autonomous Descriptions of Synchronization Modules. IFIP Congress 1977: 981-986 - Carl Hewitt, Henry G. Baker:
Laws for Communicating Parallel Processes. IFIP Congress 1977: 987-992 - Gilles Kahn, David B. MacQueen:
Coroutines and Networks of Parallel Processes. IFIP Congress 1977: 993-998
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: