Partial order aware concurrency sampling

DOI10.1007/978-3-319-96142-2_20zbMATH Open1511.68063OpenAlexW2884199446MaRDI QIDQ6039411

Junfeng Yang, Xinhao Yuan, Ronghui Gu

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96142-2_20

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Coordination of parallel partially ordered processes 👍 👎
• Modeling concurrency with partial orders 👍 👎
• Partial ordering models for concurrency can be defined operationally 👍 👎
• Parallel sorting by regular sampling 👍 👎
• SAMPLING AND ODD ORDER PROBLEMS 👍 👎
• Parallel Streaming Random Sampling 👍 👎
• Generalized parallel sampling 👍 👎

This page was built for publication: Partial order aware concurrency sampling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6039411)