SCCharts

swMATH26907MaRDI QIDQ38629FDOQ38629

Author name not available (Why is that?)

Cited In (2)

• Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

This page was built for software: SCCharts