238 search results - page 3 / 48 » Compositional Proof Methods for Concurrency: A Semantic Appr... |
IFM
2000
Springer
13 years 11 months ago
2000
Springer
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
JDCTA
2010
13 years 2 months ago
2010
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
FUIN
2008
13 years 7 months ago
2008
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
ACSD
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...