1005 search results - page 13 / 201 » Operational Semantics and Program Equivalence |
109
click to vote
ICALP
1998
Springer
15 years 4 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
125
click to vote
JLP
2010
14 years 6 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...
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
104
click to vote
CLIMA
2009
14 years 9 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
JUCS
2006
14 years 11 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...