Cited in
(7)- 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
- An overview of the integrated formalism RT-Z
- scientific article; zbMATH DE number 1519981 (Why is no real title available?)
This page was built for software: LOTOSphere
