distributive laws | Sciweavers

37

IANDC
2006

126views more IANDC 2006»

Coalgebraic semantics for timed processes

13 years 11 months ago

We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...

Marco Kick, John Power, Alex Simpson

claim paper

Read More »

32

click to vote

IANDC
2006

99views more IANDC 2006»

Recursive coalgebras from comonads

13 years 11 months ago

Download www.cs.nott.ac.uk

We discuss Osius's [22] concept of a recursive coalgebra of a functor from the perspective of programming semantics and give some new sufficient conditions for the recursiven...

Venanzio Capretta, Tarmo Uustalu, Varmo Vene

claim paper

Read More »

29

click to vote

IANDC
2006

63views more IANDC 2006»

Distributive laws for the coinductive solution of recursive equations

13 years 11 months ago

Download www.cs.ru.nl

This paper illustrates the relevance of distributive laws for the solution of recursive equations, and shows that one approach for obtaining coinductive solutions of equations via...

Bart Jacobs

claim paper

Read More »

24

click to vote

APAL
2007

77views more APAL 2007»

The hyper-weak distributive law and a related game in Boolean algebras

13 years 11 months ago

Download www.math.cmu.edu

We discuss the relationship between various weak distributive laws and games in Boolean algebras. In the ﬁrst part we give some game characterizations for certain forms of Prikr...

James Cummings, Natasha Dobrinen

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers