scientific article; zbMATH DE number 1569136
From MaRDI portal
Publication:4762665
zbMath0968.68103MaRDI QIDQ4762665
Publication date: 22 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (3)
Transposing partial components--an exercise on coalgebraic refinement ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ Process Calculi à la Bird-Meertens
This page was built for publication:
