Publication:4299605

zbMath0817.68062MaRDI QIDQ4299605

Albert Fleischmann

Publication date: 5 July 1994

zbMATH Keywords

distributed systems; software engineering; structured analysis of parallel programs/parallel activities specification scheme

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68N99: Theory of software

Related Items

The Subject-Oriented Approach to Software Design and the Abstract State Machines Method