TimeSquare

swMATH15830MaRDI QIDQ27702FDOQ27702

Official website http://link.springer.com/chapter/10.1007/978-3-642-30561-0_4

Cited in

(5)

• An executable semantics of clock constraint specification language and its applications
• Coalgebraic semantic model for the clock constraint specification language
• Polychrony
• GenCCSL
• Timed-pNets: a communication behavioural semantic model for distributed systems

This page was built for software: TimeSquare