The following pages link to (Q3122691):
Displayed 12 items.
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Scala actors: Unifying thread-based and event-based programming (Q1004064) (← links)
- A structured approach for developing concurrent programs in Java (Q1285677) (← links)
- Observations on the assured evolution of concurrent Java programs (Q2575141) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- Developing multi‐agent systems with a FIPA‐compliant agent framework (Q2720893) (← links)
- MODELS AND TRENDS IN PARALLEL PROGRAMMING (Q2744175) (← links)
- Extending the object model to provide explicit support for crosscutting concerns (Q4791012) (← links)
- Using atomic await commands to develop concurrent programs in Java (Q4798473) (← links)
- Managing Proof Documents for Asynchronous Processing (Q5166497) (← links)
- Simple concurrent garbage collection almost without synchronization (Q5962117) (← links)