9873 search results - page 178 / 1975 » Emergent Semantics Systems |
ENTCS
2007
13 years 10 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
TCS
2008
13 years 10 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
FDL
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
WECWIS
2008
IEEE
14 years 4 months ago
2008
IEEE
We present ISENS, a distributed, end-to-end, ontologybased information integration system. In response to a user’s query, our system is capable of retrieving facts from data sou...