440 search results - page 24 / 88 » A DOP Model for Semantic Interpretation |
119
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
SAC
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents an ontological analysis of the EPC (Eventdriven Process Chain) business process modeling notation supported in the ARIS Toolset. This ontological analysis prov...
JOLLI
2006
14 years 11 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
103
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...