scientific article; zbMATH DE number 1479614
From MaRDI portal
Publication:4490726
zbMath0942.68710MaRDI QIDQ4490726
Henri Korver, Jan Springintveld
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
On process equivalence = equation solving in CCS ⋮ Formalizing process algebraic verifications in the calculus of constructions ⋮ Formal verification of a leader election protocol in process algebra ⋮ Confluence for process verification ⋮ Network algebra for asynchronous dataflow∗ ⋮ The parallel composition of uniform processes with data
Uses Software
This page was built for publication:
