LOTOSphere
From MaRDI portal
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