2106 search results - page 386 / 422 » Operational Semantics for DyLPs |
168
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
151
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
141
click to vote
ECSQARU
2007
Springer
15 years 11 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
161
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
130
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...