Publication:3347282

zbMath0558.68026MaRDI QIDQ3347282

No author found.

Publication date: 1984

zbMATH Keywords

types; parallelism; temporal logic; processes; many-sorted logic; maximum semantics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68Q60: Specification and verification (program logics, model checking, etc.)

68Q65: Abstract data types; algebraic specification

Related Items

Concurrent and maximally concurrent evolution of nonsequential systems, TTL : a formalism to describe local and global properties of distributed systems