12 search results - page 1 / 3 » Coalgebraic Semantics for Parallel Derivation Strategies in ... |
113
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
110
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
ENTCS
2010
15 years 1 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
108
click to vote
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...