LOTOSphere
From MaRDI portal
Software:26645
No author found.
Related Items
Unnamed Item ⋮ Introduction to concurrency theory. Transition systems and CCS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An overview of the integrated formalism RT-Z ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS
This page was built for software: LOTOSphere
