scientific article
From MaRDI portal
Publication:3859248
zbMath0424.68018MaRDI QIDQ3859248
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent processesprogramming languagestructured programmingoperating systemprogramming stylesystem programmingconcurrent Pascalsequential Pascal
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items (25)
Process administration in a high level language ⋮ A software architecture for distributed computer control systems ⋮ Methods and means of parallel processing of information ⋮ A design method for embedded software systems ⋮ Concurrent C: A programming language for distributed multiprocessor systems ⋮ Resource monitors: A design methodology for operating systems ⋮ Concurrent Pascal with backward error recovery: Implementation ⋮ Concurrent Pascal with backward error recovery: Language features and examples ⋮ Synchronization under a commercial operating system ⋮ Adam: An Ada-based language for multiprocessing ⋮ Sequential pascal with recovery blocks ⋮ Programming languages for computer system simulation ⋮ Reproducible testing of monitors ⋮ An assessment of modula ⋮ How to design and implement small time-sharing systems using concurrent pascal ⋮ Microcomputer comparison ⋮ Programming continuous-system simulation in PASCAL ⋮ The design of Edison ⋮ Systems implementation languages and IRONMAN ⋮ An assessment of concurrent Pascal ⋮ Message passing communication versus procedure call communication ⋮ Pointer variables in concurrent Pascal ⋮ Software concurrency in real time control systems: A software nucleus ⋮ The distributed programming language SR—Mechanisms, design and implementation ⋮ An introduction to programming multiple-processor computers
This page was built for publication:
