scientific article
From MaRDI portal
Publication:3680257
zbMath0565.68022MaRDI QIDQ3680257
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
safety propertiesfixed-point inductioncompactness theorem from first-order logicproofs of correctness for communicating processes
Related Items
A domain equation for bisimulation, A timed model for communicating sequential processes, Trees and semantics, The fixed-point theory of strictly causal functions, Fixed point equations with parameters in the projective model
