scientific article
From MaRDI portal
Publication:3957925
zbMath0494.68030MaRDI QIDQ3957925
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (5)
While-programs with nondeterministic assignments and the logic ALNA ⋮ Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ An essay in combinatory dynamic logic
This page was built for publication:
