4 papers
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…
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…
The Nature of Concurrency
Yong Wang
We try to clarify the relationship between interleaving concurrency and true concurrency, based on the very recent work on truly concurrent process algebra, especially, giving mode…
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…