The following pages link to TimeSquare (Q27702):
Displaying 3 items.
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Coalgebraic Semantic Model for the Clock Constraint Specification Language (Q3460225) (← links)
- An Executable Semantics of Clock Constraint Specification Language and Its Applications (Q4686605) (← links)