Publication:4508313

zbMath0961.68093MaRDI QIDQ4508313

Yih-Kuen Tsay

Publication date: 3 October 2000

zbMATH Keywords

compositional verification of a concurrent system

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03B44: Temporal logic