26 search results - page 1 / 6 » forte 2004 |
82
Voted
FORTE
2004
15 years 2 months ago
2004
FORTE
2004
15 years 2 months ago
2004
76
Voted
DGO
2004
15 years 2 months ago
2004
FORTE
2004
15 years 2 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
15 years 2 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 ...