1027 search results - page 83 / 206 » Representing and Reasoning with Operational Semantics |
123
click to vote
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
94
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
114
Voted
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
106
click to vote
CSL
2009
Springer
15 years 7 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
111
Voted
JUCS
2006
15 years 23 days 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...