Colonnade
发表于 2025-3-28 16:42:54
http://reply.papertrans.cn/83/8262/826120/826120_41.png
hypertension
发表于 2025-3-28 21:11:34
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
发表于 2025-3-29 01:48:57
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
发表于 2025-3-29 06:30:07
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
发表于 2025-3-29 10:22:16
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
发表于 2025-3-29 12:22:51
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
发表于 2025-3-29 19:04:31
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
发表于 2025-3-29 20:57:39
http://reply.papertrans.cn/83/8262/826120/826120_48.png
coagulation
发表于 2025-3-30 01:32:39
http://reply.papertrans.cn/83/8262/826120/826120_49.png
沉默
发表于 2025-3-30 07:40:46
http://reply.papertrans.cn/83/8262/826120/826120_50.png