3429 search results - page 260 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
128
click to vote
LATIN
2010
Springer
15 years 11 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
139
click to vote
JUCS
2008
15 years 4 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
168
click to vote
LATA
2010
Springer
15 years 2 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
140
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
114
click to vote
IJCAI
1989
15 years 5 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...