scientific article; zbMATH DE number 1049169

zbMATH Open0881.68032MaRDI QIDQ4348472FDOQ4348472

Authors: Fred B. Schneider 

Publication date: 17 August 1997

Title of this publication is not available (Why is that?)

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.

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)

Cited In (22)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Extending rely-guarantee thinking to handle real-time scheduling
• Title not available (Why is that?)
• Reasoning about programs by exploiting the environment
• Imperative process algebra and models of parallel computation
• Using Hoare logic in a process algebra setting
• Fairness and hyperfairness
• Loop invariants, exploration of regularities, and mathematical games
• Type-based security for mobile computing integrity, secrecy and liveness
• Advanced concurrency control in Java
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrent programming in the OS MPP environment
• Concurrent programming: algorithms, principles, and foundations.
• Logics for concurrency: structure versus automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dealing with Priorities and Locks for Concurrent Programs

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)