Christopher D. Thompson-Walsh

  • Citations Per Year
Learn More
In this paper, we introduce a novel way of constructing concise causal histories (pathways) to represent how specified structures are formed during simulation of systems represented by rulebased models. This is founded on a new, clean, graph-based semantics introduced in the first part of this paper for Kappa, a rule-based modelling language that has(More)
This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they(More)
This paper describes our multi-valued symbolic modelchecker XChek. XChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they(More)
This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they(More)
Recently, there has been substantial interest in using rule-based modelling approaches, such as the Kappa modelling language, to attack the combinatorial intractability of many biochemical systems. These approaches have allowed several novel static analyses to be developed, which motivates broadening their expressivity. In this paper, we build upon prior(More)
Winskel has explored how to use event structures to build a bicategory of games and strategies, for use as a model of computational processes in a “next-generation” denotational semantics [15]. Out of this work came the discovery of necessary and sufficient conditions on maps of event structures so that these special maps (called strategies) form a(More)
  • 1