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