scientific article; zbMATH DE number 3639189

MaRDI QIDQ4198095zbMATH OpenFDO

Authors Graham Mark Birtwistle

Publication date 1979

zbMATH Keywords

modelsmonographnumerical simulationSimulatextbook

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01) Probabilistic models, generic numerical methods in probability and statistics (65C20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Cited in

(7)

• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• Using Ada for discrete event simulation
• Algebra and logic for resource-based systems modelling
• 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

Describes a project that uses

Uses Software

• Simula 67

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4198095)