91 search results - page 6 / 19 » The Complete Proof Theory of Hybrid Systems |
94
Voted
CONCUR
1995
Springer
15 years 3 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
STOC
2007
ACM
16 years 12 days ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
ACTA
2010
15 years 7 days ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
ENTCS
2006
15 years 3 days ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
100
Voted
FMOODS
2003
15 years 1 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...