TimeSquare

swMATH15830MaRDI QIDQ27702FDOQ27702

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: TimeSquare