Sciweavers

Share
JLP
2008
121views more  JLP 2008»
9 years 8 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
JLP
2008
72views more  JLP 2008»
9 years 9 months ago
Using probabilistic Kleene algebra pKA for protocol verification
A. K. McIver, C. Gonzalia, E. Cohen, Carroll C. Mo...
JLP
2008
98views more  JLP 2008»
9 years 9 months ago
Comparing disjunctive modal transition systems with an one-selecting variant
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
Harald Fecher, Heiko Schmidt
JLP
2008
129views more  JLP 2008»
9 years 9 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu
JLP
2008
134views more  JLP 2008»
9 years 9 months ago
Backwards type analysis of asynchronous method calls
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...
Einar Broch Johnsen, Ingrid Chieh Yu
JLP
2008
81views more  JLP 2008»
9 years 9 months ago
Cut-free sequent systems for temporal logic
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...
Kai Brünnler, Martin Lange
JLP
2008
81views more  JLP 2008»
9 years 9 months ago
Soft Linear Set Theory
A formulation of na
Richard McKinley
JLP
2008
79views more  JLP 2008»
9 years 9 months ago
A Hofmann-Mislove theorem for bitopological spaces
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. ...
Achim Jung, M. Andrew Moshier
JLP
2008
92views more  JLP 2008»
9 years 9 months ago
Relational measures and integration in preference modeling
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...
Gunther Schmidt, Rudolf Berghammer
books