Titlebook: Relational and Algebraic Methods in Computer Science; 13th International C Wolfram Kahl,Timothy G. Griffin Conference proceedings 2012 Spri

Colonnade

hypertension

Two Observations in Dioid Based Model Refinement, and second, the compatibility of linear fixpoint equations with bisimulations. These equations can be used in an algebraic setting for a certain class of optimality problems. Since bisimulations can simplify the complexity of models, they can also reduce the complexity of certain optimality problems.

Ophthalmoscope

Relation Algebras, Matrices, and Multi-valued Decision Diagramsecond, we want to outline an implementation of matrix algebras using reduced ordered multi-valued decision diagrams. This implementation combines the efficiency of operations based on those data structures with the general matrix approach to arbitrary relation algebras.

flex336

Relational Concepts in Social Choicegebraic mathematics available as a tool for the study of social choice. Thus, we provide simplification, additional systematics, more compact relation-algebraic proofs and also an access to solving such problems with programs in the language . — at least for the medium sized cases.

incite

Unifying Lazy and Strict Computationsthe binary operation known from omega algebra, and derive properties of this new operation which hold for both strict and non-strict computations. All algebraic results are verified in Isabelle using its integrated automated theorem provers.

maudtin

Towards an Algebra for Real-Time Programsg limits, which allows the possible piecewise continuity of a variable at the boundaries of an interval to be handled in a natural manner. What sort of an algebra does this model give rise to? In this paper, we take a step towards answering that question by investigating an algebra of interval predicates.

Banister

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariantsts can be used to narrow the non-deterministic execution of relational specifications, making it viable for a relevant class of problems. In particular, we show how the proposed techniques can be applied to execute specifications of bidirectional transformations, a domain where partiality and non-determinism are paramount.

Needlework

coagulation

沉默