342 search results - page 13 / 69 » Coalgebraic Symbolic Semantics |
CAV
2005
Springer
14 years 3 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
FOIS
2010
13 years 11 months ago
2010
The principle challenge for information semantics lies in the degrees of freedom to interpret symbols in terms of thoughts and experiences which leads to incompatible views on the ...
ENTCS
2006
13 years 9 months ago
2006
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...
COSIT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Ontologies are a common approach to improve semantic interoperability by explicitly specifying the vocabulary used by a particular information community. Complex expressi...
DIAGRAMS
2006
Springer
14 years 1 months ago
2006
Springer
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people's daily communications. In order to build a basis for capturing the struct...