scientific article
From MaRDI portal
Publication:3997236
zbMath0701.68001MaRDI QIDQ3997236
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
distributed systemsreal-time systemsparallel processingconcurrencyconcurrent programmingdistributed programming
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General topics in the theory of software (68N01) Distributed algorithms (68W15)
Related Items (16)
Causing communication closure: safe program composition with reliable non-FIFO channels ⋮ A brief introduction to distributed systems ⋮ Revisiting concurrent separation logic ⋮ An application of temporal projection to interleaving concurrency ⋮ Highly-fair bakery algorithm using symmetric tokens ⋮ A complete proof system for propositional projection temporal logic ⋮ Parallelization of triangular decompositions: techniques and implementation ⋮ Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms ⋮ Checking system boundedness using ordinary differential equations ⋮ Synchronous, asynchronous, and causally ordered communication ⋮ Asynchronous group mutual exclusion ⋮ On the computational complexity of coalitional resource games ⋮ ACTLW -- an action-based computation tree logic with unless operator ⋮ On a distributed implementation of a decomposition method for multistage linear stochastic programs ⋮ Algebra and logic for resource-based systems modelling ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Uses Software
This page was built for publication:
