289 search results - page 3 / 58 » Algebraic results for structured operational semantics |
ICDE
2000
IEEE
14 years 7 months ago
2000
IEEE
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
FUIN
2008
13 years 5 months ago
2008
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
CN
1999
13 years 5 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
ACSD
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
ENTCS
2006
13 years 5 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...