LOTOSphere

MaRDI QIDQ26645swMATHFDO

Official website http://www.springer.com/gp/book/9780792395294

Cited in

(7)

• An overview of the integrated formalism RT-Z
• Two case studies of semantics execution in Maude: CCS and LOTOS
• scientific article; zbMATH DE number 1693441 (Why is no real title available?)
• scientific article; zbMATH DE number 2080796 (Why is no real title available?)
• LOTOS
• Introduction to concurrency theory. Transition systems and CCS
• scientific article; zbMATH DE number 1519981 (Why is no real title available?)

This page was built for software: LOTOSphere