1875 search results - page 178 / 375 » A Calculus of Broadcasting Systems |
132
click to vote
AAAI
2000
15 years 5 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
110
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
131
click to vote
TAPSOFT
1993
Springer
15 years 7 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
223
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
130
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...