JLP
2008
13 years 3 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
JLP
2008
13 years 4 months ago
2008
JLP
2008
13 years 4 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
JLP
2008
13 years 4 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
JLP
2008
13 years 4 months ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
JLP
2008
13 years 4 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
JLP
2008
13 years 4 months ago
2008
JLP
2008
13 years 4 months ago
2008
A formulation of na
JLP
2008
13 years 4 months ago
2008
We present a Stone duality for bitopological spaces in analogy to the duality between topological spaces and frames, and discuss the resulting notions of sobriety and spatiality. ...
JLP
2008
13 years 4 months ago
2008
Based on a set of criteria and a measuring lattice, we introduce relational measures as generalizations of fuzzy measures. The latter have recently made their way from the interva...