LOTOSphere

swMATH14748MaRDI QIDQ26645FDOQ26645

Author name not available (Why is that?)

Cited In (6)

• An overview of the integrated formalism RT-Z
• Two case studies of semantics execution in Maude: CCS and LOTOS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to concurrency theory. Transition systems and CCS
• Title not available (Why is that?)

This page was built for software: LOTOSphere