scientific article; zbMATH DE number 176359

MaRDI QIDQ4035486zbMATH OpenFDO

Authors Zbigniew Huzar

Publication date 18 May 1993

zbMATH Keywords

LOTOSformal specification of discrete systems

Mathematics Subject Classification ID

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

Recommendations

• A formal definition of time in LOTOS
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• From LOTOS to LNT
• An interpreter for LOTOS, a specification language for distributed systems
• scientific article; zbMATH DE number 2043468

Cited in

(5)

• Multimedia in the E-LOTOS process algebra
• DECM, A user oriented formalism for high level discrete event specifications of real-time systems
• An interpreter for LOTOS, a specification language for distributed systems
• scientific article; zbMATH DE number 949033 (Why is no real title available?)
• scientific article; zbMATH DE number 1852157 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035486)