Sciweavers

Share
ENTCS
2000
120views more  ENTCS 2000»
8 years 10 months ago
Efficient Substitution in Hoare Logic Expressions
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...
Roberto Virga
ENTCS
2000
63views more  ENTCS 2000»
8 years 10 months ago
The Leader Election Protocol of IEEE 1394 in Maude
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...
Alberto Verdejo, Isabel Pita, Narciso Martí...
ENTCS
2000
97views more  ENTCS 2000»
8 years 10 months ago
Complexity of Weak Bisimilarity and Regularity for BPA and BPP
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...
Jirí Srba
ENTCS
2000
103views more  ENTCS 2000»
8 years 10 months ago
Combinator Parsers - From Toys to Tools
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...
S. Doaitse Swierstra
ENTCS
2000
66views more  ENTCS 2000»
8 years 10 months ago
Formal topology and domains
Giovanni Sambin
ENTCS
2000
57views more  ENTCS 2000»
8 years 10 months ago
Weightable quasi-metric semigroups and semilattices
Salvador Romaguera, Michel P. Schellekens
ENTCS
2000
60views more  ENTCS 2000»
8 years 10 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
ENTCS
2000
54views more  ENTCS 2000»
8 years 10 months ago
Observation systems
Luís Monteiro
books