11 search results - page 1 / 3 » fossacs 2001 |
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
FOSSACS
2001
Springer
13 years 9 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...
FOSSACS
2001
Springer
13 years 9 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...