scientific article; zbMATH DE number 683363
From MaRDI portal
Publication:4312484
zbMath0813.68135MaRDI QIDQ4312484
Publication date: 29 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (12)
Computable processes and bisimulation equivalence ⋮ On process equivalence = equation solving in CCS ⋮ A process calculus with finitary comprehended terms ⋮ Two finite specifications of a queue ⋮ Confluence for process verification ⋮ Synchronous Kleene algebra ⋮ Linearization in parallel pCRL ⋮ Splitting bisimulations and retrospective conditions ⋮ The parallel composition of uniform processes with data ⋮ Proof systems for message-passing process algebras ⋮ A conservative look at operational semantics with variable binding ⋮ Equivalence of recursive specifications in process algebra
This page was built for publication:
