Synchronous thread management in a distributed operating system's micro kernel

DOI10.1007/BFB0002881MaRDI QIDQ4537136zbMATH OpenFDO

Authors Oliver Potonniée, Jean-Bernard Stefani

Publication date 6 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0002881

zbMATH Keywords

deterministic systemsdistributed systemsreal-time systemssynchronous programmingthread management

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of operating systems (68N25) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 526071
• scientific article; zbMATH DE number 3967898
• The Esterel synchronous programming language: Design, semantics, implementation
• Distributed implementation of a process-algebra based programming language for embedded systems
• About synchronous programming and abstract interpretation

Cited in

(2)

• Resource control for synchronous cooperative threads
• Study of kernel-level concurrent communication

This page was built for publication: Synchronous thread management in a distributed operating system's micro kernel

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