155 search results - page 16 / 31 » Compositional Predicate Abstraction from Game Semantics |
ITA
2007
13 years 7 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
TVCG
2010
13 years 5 months ago
2010
—A major obstacle in the appreciation of classical music is that extensive training is required to understand musical structure and compositional techniques toward comprehending ...
FPCA
1995
13 years 11 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
ROOM
2000
13 years 8 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...