FOSSACS
2001
Springer
14 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 ...
FOSSACS
2001
Springer
14 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...
FOSSACS
2001
Springer
14 years 6 months ago
2001
Springer
FOSSACS
2001
Springer
14 years 6 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
FOSSACS
2001
Springer
14 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...
FOSSACS
2001
Springer
14 years 6 months ago
2001
Springer
FOSSACS
2001
Springer
14 years 6 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
FOSSACS
2001
Springer
14 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...
FOSSACS
2001
Springer
14 years 6 months ago
2001
Springer