3 papers
cs.LO2026
Structural Operational Semantics for True Concurrency
Yong Wang
It is natural that we can extend Structural Operational Semantics (SOS) to SOS for true concurrency. From SOS to SOS for true concurrency, it is in nature to give the related conce…
cs.LO2024
Computation and Concurrency
Yong Wang
We try to clarify the relationship between computation and concurrency. Base on the so-called pomsetc automata and step automata, we introduce communication and more operators, and…
cs.LO2021
Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards
Yong Wang
The well-known process algebras, such as CCS, ACP and -calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent proce…