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
(49)- The semantics of the combination of atomized statements and parallel choice
- Delay-bounded scheduling without delay!
- A minimal property for characterizing deadlock-free programs
- Bounded communication reachability analysis of process rewrite systems with ordered parallelism
- scientific article; zbMATH DE number 108540 (Why is no real title available?)
- Fairness in shared invocation servicing
- Data-race and concurrent-write freedom are undecidable.
- Fast and scalable rendezvousing
- Real-time verification techniques for untimed systems
- Simulation refinement for concurrency verification
- scientific article; zbMATH DE number 795666 (Why is no real title available?)
- Using atomic await commands to develop concurrent programs in Java
- Combining Predicate Abstraction with Fixpoint Approximations
- Formal verification of a programming logic for a distributed programming language
- scientific article; zbMATH DE number 1984238 (Why is no real title available?)
- A semantics for concurrent separation logic
- Concurrent Programming
- Concurrency and knowledge-level communication in agent languages
- scientific article; zbMATH DE number 1231564 (Why is no real title available?)
- Angelic semantics of fine-grained concurrency
- The need for compositional proof systems: a survey
- A structured approach for developing concurrent programs in Java
- Introduction to concurrency in programming languages.
- Resources, concurrency, and local reasoning
- scientific article; zbMATH DE number 54242 (Why is no real title available?)
- scientific article; zbMATH DE number 986405 (Why is no real title available?)
- scientific article; zbMATH DE number 1878545 (Why is no real title available?)
- Simple concurrent garbage collection almost without synchronization
- The essence of parallel Algol.
- scientific article; zbMATH DE number 47171 (Why is no real title available?)
- scientific article; zbMATH DE number 2111806 (Why is no real title available?)
- Fine-grained concurrency with separation logic
- A verification framework for agent programming with declarative goals
- scientific article; zbMATH DE number 195214 (Why is no real title available?)
- Lost in abstraction: monotonicity in multi-threaded programs
- Partial predicate abstraction and counter-example guided refinement
- scientific article; zbMATH DE number 3958701 (Why is no real title available?)
- Completed double layer boundary element algorithm in many-body problems for a multi-processor: An implementation on the \(CM-5\)
- Concurrent Programming in ML
- scientific article; zbMATH DE number 3924101 (Why is no real title available?)
- Transfer Principles for Reasoning About Concurrent Programs
- Concurrent programming: algorithms, principles, and foundations.
- Understanding concurrent systems
- Erlang programming.
- Teaching Concurrency Concepts to Freshmen
- scientific article; zbMATH DE number 42962 (Why is no real title available?)
- scientific article; zbMATH DE number 3848584 (Why is no real title available?)
- scientific article; zbMATH DE number 194148 (Why is no real title available?)
- Bounded model checking of infinite state systems
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)
