scientific article
From MaRDI portal
Publication:3725523
zbMath0594.68013MaRDI QIDQ3725523
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic theoriespartial algebrasbehavioural semanticsinitial semanticsbehavioural specification of stacksinitial restrictionsparameterized software modulespushable values
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items
Proof systems for structured specifications with observability operators, Behavioural theories and the proof of behavioural properties, A semi-algorithm for algebraic implementation proofs, Non-deterministic data types: Models and implementations
