5451 search results - page 120 / 1091 » Typed Operational Semantics |
109
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
118
Voted
SEBD
2007
15 years 5 months ago
2007
Research on data integration has provided languages and systems able to guarantee an integrated intensional representation of a given set of data sources. A significant limitation...
129
click to vote
SKG
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
131
Voted
CP
2005
Springer
15 years 5 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
164
Voted
JLP
2010
14 years 10 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...