PTSC
From MaRDI portal
Software:25606
No author found.
Related Items (4)
Developments in concurrent Kleene algebra ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
This page was built for software: PTSC
