The Concurrency Factory: A Development Environment for Concurrent Systems
No abstract available.
Related papers
- The Concurrency Factory Software Development Environment TACAS 1996
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems TACAS 2008
- Semantic-Based Visualization for Parallel Object-Oriented Programming OOPSLA 1996
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems CAV 2020
- A Type System for Prototyping Languages POPL 1994
- Race detection for Android applications PLDI 2014
- Parallel Programming Environment: A Key to Translating Tera-Scale Platforms into a Big Success CGO 2007