scientific article; zbMATH DE number 1049169
From MaRDI portal
Publication:4348472
zbMATH Open0881.68032MaRDI QIDQ4348472FDOQ4348472
Authors: Fred B. Schneider
Publication date: 17 August 1997
Title of this publication is not available (Why is that?)
Recommendations
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)