scientific article
From MaRDI portal
Publication:3347282
zbMath0558.68026MaRDI QIDQ3347282
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Concurrent and maximally concurrent evolution of nonsequential systems, TTL : a formalism to describe local and global properties of distributed systems
