scientific article; zbMATH DE number 108539
zbMATH Open0797.68002MaRDI QIDQ4024005FDOQ4024005
Authors: Gregory R. Andrews 
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3848584
- scientific article
- 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
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)
Cited In (46)
- The semantics of the combination of atomized statements and parallel choice
- Delay-bounded scheduling without delay!
- Title not available (Why is that?)
- A minimal property for characterizing deadlock-free programs
- Fast and scalable rendezvousing
- Fairness in shared invocation servicing
- Data-race and concurrent-write freedom are undecidable.
- Title not available (Why is that?)
- Real-time verification techniques for untimed systems
- Simulation refinement for concurrency verification
- Using atomic await commands to develop concurrent programs in Java
- Combining Predicate Abstraction with Fixpoint Approximations
- Title not available (Why is that?)
- Formal verification of a programming logic for a distributed programming language
- A semantics for concurrent separation logic
- Concurrency and knowledge-level communication in agent languages
- Title not available (Why is that?)
- Angelic semantics of fine-grained concurrency
- Introduction to concurrency in programming languages.
- A structured approach for developing concurrent programs in Java
- Resources, concurrency, and local reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Simple concurrent garbage collection almost without synchronization
- Title not available (Why is that?)
- Title not available (Why is that?)
- The essence of parallel Algol.
- Title not available (Why is that?)
- Fine-grained concurrency with separation logic
- A verification framework for agent programming with declarative goals
- Title not available (Why is that?)
- Lost in abstraction: monotonicity in multi-threaded programs
- Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
- Partial predicate abstraction and counter-example guided refinement
- Title not available (Why is that?)
- Concurrent Programming in ML
- Completed double layer boundary element algorithm in many-body problems for a multi-processor: An implementation on the \(CM-5\)
- Title not available (Why is that?)
- Transfer Principles for Reasoning About Concurrent Programs
- Erlang programming.
- Understanding concurrent systems
- Teaching Concurrency Concepts to Freshmen
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
