1705 search results - page 17 / 341 » Representing Constraints with Automata |
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
ICTAC
2004
Springer
14 years 1 months ago
2004
Springer
EURODAC
1994
IEEE
13 years 11 months ago
1994
IEEE
CORR
2008
Springer
13 years 7 months ago
2008
Springer
SCP
2010
13 years 6 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...