scientific article; zbMATH DE number 1049169

MaRDI QIDQ4348472zbMATH OpenFDO

Authors Fred B. Schneider

Publication date 17 August 1997

zbMATH Keywords

first-order predicate logiclinear-time temporal logicconcurrent computations

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 108539
• scientific article; zbMATH DE number 47171
• scientific article; zbMATH DE number 3958701
• Concurrent programming: algorithms, principles, and foundations.

Cited in

(22)

• Using Hoare logic in a process algebra setting
• scientific article; zbMATH DE number 195214 (Why is no real title available?)
• scientific article; zbMATH DE number 48617 (Why is no real title available?)
• Imperative process algebra and models of parallel computation
• scientific article; zbMATH DE number 5019549 (Why is no real title available?)
• scientific article; zbMATH DE number 810814 (Why is no real title available?)
• Reasoning about programs by exploiting the environment
• Dealing with Priorities and Locks for Concurrent Programs
• Concurrent programming: algorithms, principles, and foundations.
• Loop invariants, exploration of regularities, and mathematical games
• Concurrent programming in the OS MPP environment
• Advanced concurrency control in Java
• scientific article; zbMATH DE number 108539 (Why is no real title available?)
• Extending rely-guarantee thinking to handle real-time scheduling
• Fairness and hyperfairness
• Logics for concurrency: structure versus automata
• scientific article; zbMATH DE number 3848584 (Why is no real title available?)
• Type-based security for mobile computing integrity, secrecy and liveness
• scientific article; zbMATH DE number 42962 (Why is no real title available?)
• scientific article; zbMATH DE number 839544 (Why is no real title available?)
• scientific article; zbMATH DE number 194148 (Why is no real title available?)
• scientific article; zbMATH DE number 3958701 (Why is no real title available?)

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