1875 search results - page 159 / 375 » A Calculus of Broadcasting Systems |
125
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
107
Voted
ICFEM
1997
Springer
15 years 7 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
125
Voted
FORTE
2007
15 years 5 months ago
2007
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
147
Voted
IJIT
2004
15 years 5 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
111
Voted
ENTCS
2008
15 years 3 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...