Publication:4251113

zbMath0928.68076MaRDI QIDQ4251113

Carolyn L. Talcott, Scott F. Smith

Publication date: 9 January 2000

zbMATH Keywords

specification diagrams

Mathematics Subject Classification ID

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

Related Items

Actor theories in rewriting logic

Uses Software

• LOTOS