154
click to vote
FOSSACS
15 years 6 months ago
2001 Springer 
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
82
Voted
FOSSACS
15 years 6 months ago
2001 Springer  126
click to vote
FOSSACS
15 years 6 months ago
2001 Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
118
click to vote
FOSSACS
15 years 6 months ago
2001 Springer 
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
130
Voted
FOSSACS
15 years 6 months ago
2001 Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...
|
Software Engineering