Searching for "Correctness of Concurrent Processes." – sorted by Relevance.
-
-1 GENERAL COMPARISONS Dimensions of Distribution
- ; Concurrent Processes, program semantics; and Petri Nets, system correctness. The programming languages focus
- Add To MetaCart
-
WISE: Process based E-Commerce
- management [SAS99], i.e., guaranteeing correct concurrent and fault-tolerant process execution
- Add To MetaCart
-
Compositional state space generation with partial order reductions for Asynchronous Communicating Systems
- the correctness of concurrents processes synchronized by means of semaphores. It was also used in [AJKP98] within
- Cited by 6 (2 self) – Add To MetaCart

