1356 search results - page 160 / 272 » A variable-free dynamic semantics |
160
click to vote
FMSB
2008
15 years 5 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
185
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
132
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
137
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
122
click to vote
ECSQARU
2007
Springer
15 years 10 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...