From LOTOS to LNT

DOI10.1007/978-3-319-68270-9_1MaRDI QIDQ5047037zbMATH OpenOpenAlexFDO

Authors Hubert Garavel, Frédéric Lang, Wendelin Serwe

Publication date 9 November 2022

Published in ModelEd, TestEd, TrustEd (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-68270-9_1

zbMATH Keywords

abstract data typealgebraic specificationconcurrency theoryE-LOTOSformal description techniqueformal methodformal specificationLNTLOTOSprocess algebraprocess calculusspecification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• From Löwenheim to PSL and SVA
• LSZ in LST
• scientific article; zbMATH DE number 1693439

Cited in

(18)

• Modifying LOTOS specifications by means of automatable formula-based integrations
• Probabilistic model checking of BPMN processes at runtime
• Coupled similarity: the first 32 years
• Nested-unit Petri nets
• scientific article; zbMATH DE number 1728517 (Why is no real title available?)
• Multimedia in the E-LOTOS process algebra
• Translating FSP into LOTOS and Networks of Automata
• An interpreter for LOTOS, a specification language for distributed systems
• scientific article; zbMATH DE number 176359 (Why is no real title available?)
• scientific article; zbMATH DE number 949033 (Why is no real title available?)
• Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
• Compositional specification in rewriting logic
• Comments on deriving protocol specifications from service specifications written in LOTOS
• Translating FSP into LOTOS and networks of automata
• Equivalence checking 40 years after: a review of bisimulation tools
• Towards a model-checker for \textit{\textsf{Circus}}
• Store locally, prove globally
• LSZ in LST

This page was built for publication: From LOTOS to LNT

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