TimeSquare

swMATH15830MaRDI QIDQ27702FDOQ27702

Author name not available (Why is that?)

Cited In (3)

• Timed-pNets: a communication behavioural semantic model for distributed systems
• Coalgebraic Semantic Model for the Clock Constraint Specification Language
• An Executable Semantics of Clock Constraint Specification Language and Its Applications

This page was built for software: TimeSquare