Multimedia in the E-LOTOS process algebra

MaRDI QIDQ2906952zbMATH OpenFDO

Authors Guy Leduc

Publication date 5 September 2012

zbMATH Keywords

process algebraODPLOTOSE-LOTOSmulticast multimedia

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• From LOTOS to LNT
• A formal definition of time in LOTOS
• scientific article; zbMATH DE number 176359
• scientific article; zbMATH DE number 1852157
• Use of E-LOTOS in adding formality to UML

Cited in

(1)

• scientific article; zbMATH DE number 949033 (Why is no real title available?)

This page was built for publication: Multimedia in the E-LOTOS process algebra

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