5 search results - page 1 / 1 » Simulating Truly Concurrent CSP |
SBMF
2010
Springer
13 years 3 days ago
2010
Springer
MEMOCODE
2003
IEEE
13 years 10 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
IFM
2000
Springer
13 years 9 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
EUROMICRO
1999
IEEE
13 years 9 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
MOBIHOC
2006
ACM
14 years 5 months ago
2006
ACM
MLS is a distributed location service to track the position of mobile nodes and to route messages between any two nodes. The lookup of nodes is achieved by searching in a hierarch...