scientific article; zbMATH DE number 1761887

zbMath0988.03525MaRDI QIDQ4537506

Rolf Hennicker, Michel Bidoit

Publication date: 1 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Closure properties for the class of behavioral models ⋮ Proving the correctness of behavioural implementations ⋮ Proof systems for structured specifications with observability operators ⋮ Behavioural theories and the proof of behavioural properties ⋮ Behavioral abstraction is hiding information ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic ⋮ On institutions for modular coalgebraic specifications. ⋮ Observational proofs by rewriting. ⋮ Behavioural satisfaction and equivalence in concrete model categories