scientific article
From MaRDI portal
Publication:2852365
zbMath1273.68262MaRDI QIDQ2852365
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002076
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Sound reasoning in \textit{tock}-CSP ⋮ Testing using CSP Models: Time, Inputs, and Outputs ⋮ A Unary Semigroup Trace Algebra ⋮ Checking noninterference in timed CSP ⋮ Modeling and Verifying Time Sensitive Security Protocols with Constraints ⋮ Three Approaches to Timed External Choice in UTP ⋮ Towards Algebraic Semantics of Circus Time
This page was built for publication: