2171 search results - page 155 / 435 » A Generic Process Algebra |
122
click to vote
MTA
2000
15 years 3 months ago
2000
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
131
click to vote
PDSE
2000
15 years 4 months ago
2000
The aim of this paper is to describe a generic interface through which a planning tool or design aid can be connected to a telecommunications network. In today's complex and ...
107
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
118
click to vote
DLT
2008
15 years 4 months ago
2008
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
171
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...