393 search results - page 3 / 79 » Abstract Interpretation of Probabilistic Semantics |
SAS
1997
Springer
13 years 12 months ago
1997
Springer
RP
2009
Springer
14 years 2 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
JOLLI
2006
13 years 7 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 ...
TCS
2008
13 years 7 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
AMTA
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We present an approach to semantic interpretation of syntactically parsed Japanese sentences that works largely parser-independent. The approach relies on a standardized ...