2106 search results - page 12 / 422 » Operational Semantics for MSC'96 |
IJIS
2011
14 years 1 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
68
Voted
XIMEP
2005
ACM
15 years 3 months ago
2005
ACM
There are three set operators defined in XQuery, namely union, intersect and except. They take node sequences as operands, in which each node is identified by its node-ID and tr...
111
click to vote
IDEAS
2003
IEEE
15 years 2 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...