ENTCS
2008
13 years 11 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
ENTCS
2010
13 years 11 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
ENTCS
2010
13 years 11 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
ENTCS
2010
13 years 11 months ago
2010
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
ENTCS
2010
13 years 11 months ago
2010
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy...
ENTCS
2010
13 years 11 months ago
2010
ENTCS
2010
13 years 11 months ago
2010
ENTCS
2010
13 years 11 months ago
2010
ENTCS
2010
13 years 11 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
ENTCS
2010
13 years 11 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...