1875 search results - page 83 / 375 » A Calculus of Broadcasting Systems |
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
FORMATS
2003
Springer
14 years 28 days ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
KR
2000
Springer
13 years 11 months ago
2000
Springer
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
KAIS
2007
13 years 7 months ago
2007
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
AI
2000
Springer
13 years 7 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...