11436 search results - page 93 / 2288 » Modeling Real Reasoning |
80
Voted
CSL
2006
Springer
15 years 2 months ago
2006
Springer
145
Voted
CCA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
120
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
158
Voted
JELIA
1994
Springer
15 years 6 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
129
Voted
WOTUG
2008
15 years 4 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...