scientific article; zbMATH DE number 176359

zbMATH Open0795.68130MaRDI QIDQ4035486FDOQ4035486

Authors: Zbigniew Huzar 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

LOTOSformal specification of discrete systems

Mathematics Subject Classification ID

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

Cited In (5)

• DECM, A user oriented formalism for high level discrete event specifications of real-time systems
• Title not available (Why is that?)
• Multimedia in the E-LOTOS process algebra
• An interpreter for LOTOS, a specification language for distributed systems
• Title not available (Why is that?)

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)