scientific article; zbMATH DE number 3639189
From MaRDI portal
Publication:4198095
zbMath0411.68084MaRDI QIDQ4198095
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Probabilistic models, generic numerical methods in probability and statistics (65C20) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01)
Related Items (7)
A calculus and logic of resources and processes ⋮ A calculus and logic of bunched resources and processes ⋮ Algebra and logic for access control ⋮ Consistent micro, macro and state-based population modelling ⋮ Using Ada for discrete event simulation ⋮ 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:
