scientific article

zbMath0572.68020MaRDI QIDQ3690206

Joseph Sifakis, Susanne Graf

Publication date: 1985

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

zbMATH Keywords

Galois connectionTCSPcommunicating systemssound and complete axiomatizationacceptance modelscalculi for non deterministic programs

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Properties of classes of models (03C52)

Related Items

Characterizing finite Kripke structures in propositional temporal logic, Reasoning about networks with many identical finite state processes