Publication | Closed Access
On the expressiveness of coordination via shared dataspaces
24
Citations
17
References
2002
Year
EngineeringAutomated ReasoningConcurrency TheoryFormal MethodsData IntegrationComputer ScienceCoordination ModelSemantic WebFormal VerificationInteraction Protocol
| Year | Citations | |
|---|---|---|
Page 1
Page 1