scientific article; zbMATH DE number 3868587

MaRDI QIDQ3334964zbMATH OpenFDO

Authors Jan Rudolf Just

Publication date 1983

zbMATH Keywords

allocation of tasks to particular processorscommunicationprocesses synthesis in distributed computer systemstasks synchronization

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 3978365
• scientific article; zbMATH DE number 3940687
• scientific article; zbMATH DE number 1820085
• scientific article; zbMATH DE number 4018360
• Formal timing analysis of distributed systems

Cited in

(16)

• Homeostasis in synchronous distributed computation, a formal view
• Specifying distributed computer architectures in AADL
• An approach to module distribution for the design of embedded distributed software systems
• Distributed computing theory to date. I: Models and an example
• scientific article; zbMATH DE number 4018360 (Why is no real title available?)
• scientific article; zbMATH DE number 5949231 (Why is no real title available?)
• scientific article; zbMATH DE number 3885309 (Why is no real title available?)
• scientific article; zbMATH DE number 7222494 (Why is no real title available?)
• scientific article; zbMATH DE number 3940687 (Why is no real title available?)
• Towards formal specification of a distributed computing system
• scientific article; zbMATH DE number 3978365 (Why is no real title available?)
• scientific article; zbMATH DE number 4078781 (Why is no real title available?)
• scientific article; zbMATH DE number 88977 (Why is no real title available?)
• scientific article; zbMATH DE number 107730 (Why is no real title available?)
• scientific article; zbMATH DE number 2080045 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

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 Q3334964)