Sciweavers

2314 search results - page 1 / 463
» Monoids over domains
Sort
View
MSCS
2006
50views more  MSCS 2006»
13 years 10 months ago
Monoids over domains
Michael W. Mislove
APN
2003
Springer
14 years 4 months ago
Nets Enriched over Closed Monoidal Structures
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
Eric Badouel, Jules Chenou
ICALP
2005
Springer
14 years 4 months ago
Discrete Random Variables over Domains
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...
Michael W. Mislove
ENTCS
2008
130views more  ENTCS 2008»
13 years 11 months ago
Semimodule Enrichment
A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal ca...
Chris Heunen
IANDC
2006
126views more  IANDC 2006»
13 years 11 months ago
Coalgebraic semantics for timed processes
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