scientific article; zbMATH DE number 108539
From MaRDI portal
Publication:4024005
synchronizationparallel programmingconcurrent programmingLindacommunicationsmessage passingsemaphoresOccamprogramming logicAdaremote procedure callsSRTuring Plus
Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Network design and communication in computer systems (68M10)
Recommendations
- scientific article; zbMATH DE number 3848584
- scientific article; zbMATH DE number 47171
- scientific article; zbMATH DE number 3958701
- Concurrent Programming
- scientific article; zbMATH DE number 42962
- Nebenläufige Programme
- Concurrent programming: algorithms, principles, and foundations.
- Concurrent programming technologies and techniques
- scientific article; zbMATH DE number 1049169
Cited in
(47)- A verification framework for agent programming with declarative goals
- scientific article; zbMATH DE number 3924101 (Why is no real title available?)
- Simple concurrent garbage collection almost without synchronization
- scientific article; zbMATH DE number 1878545 (Why is no real title available?)
- Fairness in shared invocation servicing
- Data-race and concurrent-write freedom are undecidable.
- Lost in abstraction: monotonicity in multi-threaded programs
- Bounded communication reachability analysis of process rewrite systems with ordered parallelism
- Concurrent Programming in ML
- scientific article; zbMATH DE number 195214 (Why is no real title available?)
- Angelic semantics of fine-grained concurrency
- Delay-bounded scheduling without delay!
- Erlang programming.
- Transfer Principles for Reasoning About Concurrent Programs
- Fine-grained concurrency with separation logic
- Understanding concurrent systems
- scientific article; zbMATH DE number 54242 (Why is no real title available?)
- scientific article; zbMATH DE number 2111806 (Why is no real title available?)
- Simulation refinement for concurrency verification
- A semantics for concurrent separation logic
- scientific article; zbMATH DE number 108540 (Why is no real title available?)
- Teaching Concurrency Concepts to Freshmen
- Using atomic await commands to develop concurrent programs in Java
- scientific article; zbMATH DE number 1984238 (Why is no real title available?)
- Combining Predicate Abstraction with Fixpoint Approximations
- Bounded model checking of infinite state systems
- scientific article; zbMATH DE number 1231564 (Why is no real title available?)
- Concurrent programming: algorithms, principles, and foundations.
- Introduction to concurrency in programming languages.
- Resources, concurrency, and local reasoning
- Completed double layer boundary element algorithm in many-body problems for a multi-processor: An implementation on the \(CM-5\)
- A minimal property for characterizing deadlock-free programs
- scientific article; zbMATH DE number 795666 (Why is no real title available?)
- Real-time verification techniques for untimed systems
- Partial predicate abstraction and counter-example guided refinement
- scientific article; zbMATH DE number 47171 (Why is no real title available?)
- The essence of parallel Algol.
- Formal verification of a programming logic for a distributed programming language
- Fast and scalable rendezvousing
- The semantics of the combination of atomized statements and parallel choice
- A structured approach for developing concurrent programs in Java
- Concurrency and knowledge-level communication in agent languages
- scientific article; zbMATH DE number 3848584 (Why is no real title available?)
- scientific article; zbMATH DE number 42962 (Why is no real title available?)
- scientific article; zbMATH DE number 194148 (Why is no real title available?)
- scientific article; zbMATH DE number 986405 (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 Q4024005)
