353 search results - page 23 / 71 » Compositional specification of behavioral semantics |
164
click to vote
FORTE
1992
15 years 7 months ago
1992
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calcu...
134
click to vote
CONEXT
2006
ACM
15 years 12 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
206
click to vote
IHIS
2005
ACM
15 years 11 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
163
click to vote
IANDC
2008
15 years 6 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
170
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...