An interpreter for LOTOS, a specification language for distributed systems

DOI10.1002/SPE.4380180406MaRDI QIDQ3790630zbMATH OpenOpenAlexFDO

Authors Luigi Logrippo, A. abu Obaid, J. P. Briand, M. C. Fehri

Publication date 1988

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380180406

zbMATH Keywords

abstract data typecalculus of communicating systemsCCScommunications protocolsdistributed systemsinterpreterLOTOSoperational semanticsspecification language

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• From LOTOS to LNT
• scientific article; zbMATH DE number 949033
• scientific article; zbMATH DE number 176359
• scientific article; zbMATH DE number 140260
• scientific article; zbMATH DE number 1973990

Cites work

• A calculus of communicating systems
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)

Cited in

(7)

• Gate splitting in LOTOS specifications using abstract interpretation
• LOTOS
• Behavioral specification of middleware systems
• scientific article; zbMATH DE number 176359 (Why is no real title available?)
• scientific article; zbMATH DE number 1973990 (Why is no real title available?)
• scientific article; zbMATH DE number 949033 (Why is no real title available?)
• Gate splitting in LOTOS specifications using abstract interpretation

Describes a project that uses

Uses Software

• YACC

This page was built for publication: An interpreter for LOTOS, a specification language for distributed systems

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