603 search results - page 99 / 121 » A Formal Operational Semantics for SOFL |
125
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
This paper defines and discusses the implementation of two novel extensions to the Siena Content-based Network (CBN) to extend it to become a Knowledge-based Network (KBN) thereby...
227
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
112
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
106
click to vote
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
136
click to vote
IFM
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...