ENTCS
2000
13 years 4 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
ENTCS
2000
13 years 4 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
ENTCS
2000
13 years 4 months ago
2000
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound fo...
ENTCS
2000
13 years 4 months ago
2000
We develop, in a stepwise fashion, a set of parser combinators for constructing deterministic, error-correcting parsers. The only restriction on the grammar is that it is not left...
ENTCS
2000
13 years 4 months ago
2000
ENTCS
2000
13 years 4 months ago
2000
ENTCS
2000
13 years 4 months ago
2000
ENTCS
2000
13 years 4 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
ENTCS
2000
13 years 4 months ago
2000
