98 search results - page 9 / 20 » A Proof Theoretic Approach to Operational Semantics |
118
click to vote
ENTCS
2006
15 years 3 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
100
click to vote
MFPS
1989
15 years 7 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
123
click to vote
STACS
2010
Springer
15 years 10 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
128
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
118
Voted
AUSAI
2003
Springer
15 years 8 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...