AI Chat AI Image Generator AI Video Text to Speech

Behavioral Specification Theories: an Algebraic Taxonomy

09/23/2020

∙

by Uli Fahrenberg, et al.

∙

∙

We develop a taxonomy of different behavioral specification theories and expose their algebraic properties. We start by clarifying what precisely constitutes a behavioral specification theory and then introduce logical and structural operations and develop the resulting algebraic properties. In order to motivate our developments, we give plenty of examples of behavioral specification theories with different operations.

Uli Fahrenberg
9 publications
Axel Legay
19 publications

page 1

page 2

page 3

page 4

research

∙ 02/17/2023

Type-Theoretic Signatures for Algebraic Theories and Inductive Types

We develop the usage of certain type theories as specification languages...

0 András Kovács, et al. ∙

research

∙ 04/15/2019

Predicting human decisions with behavioral theories and machine learning

Behavioral decision theories aim to explain human behavior. Can they hel...

0 Ori Plonsky, et al. ∙

research

∙ 05/11/2021

A Variety Theorem for Relational Universal Algebra

We develop an analogue of universal algebra in which generating symbols ...

0 Chad Nester, et al. ∙

research

∙ 11/21/2022

Continuous Functions on Final Comodels of Free Algebraic Theories

In 2009, Ghani, Hancock and Pattinson gave a tree-like representation of...

0 Tomoya Yoshida, et al. ∙

research

∙ 01/12/2023

Algebraic Model Management: A Survey

We survey the field of model management and describe a new model managem...

0 Patrick Schultz, et al. ∙

research

∙ 02/22/2021

Polymorphic Automorphisms and the Picard Group

We investigate the concept of definable, or inner, automorphism in the l...

0 Pieter Hofstra, et al. ∙

research

∙ 12/22/2022

Sum and Tensor of Quantitative Effects

Inspired by the seminal work of Hyland, Plotkin, and Power on the combin...

0 Giorgio Bacci, et al. ∙