Publication:4036564

zbMath0785.68062MaRDI QIDQ4036564

Kim Guldstrand Larsen

Publication date: 18 May 1993

zbMATH Keywords

process algebra; implicit specification of concurrent systems

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

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

Related Items

On the consistency, expressiveness, and precision of partial modeling formalisms