26 search results - page 1 / 6 » forte 2004 |
FORTE
2004
14 years 12 months ago
2004
FORTE
2004
14 years 12 months ago
2004
DGO
2004
14 years 12 months ago
2004
FORTE
2004
14 years 12 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
FORTE
2004
14 years 12 months ago
2004
This paper proposes an algorithm for the construction of an MSC graph from a given set of actual behaviors of an existing concurrent system which has repetitive subfunctions. Such ...