2722 search results - page 198 / 545 » The Model Evolution Calculus |
137
click to vote
ENTCS
2006
15 years 3 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
107
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— The purpose of this paper is to discuss how Willems’ behavioral modeling might be applied to physical systems governed by the laws of quantum physics. A quantum behavior is s...
127
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
127
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
146
click to vote
ENTCS
2007
15 years 2 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...