1532 search results - page 151 / 307 » An Algebraic Process Calculus |
132
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
127
click to vote
CSCWD
2008
Springer
15 years 6 months ago
2008
Springer
When web services are used to coalesce around the distributed applications, one prominent solution to manage and coordinate web services is the use of process management. Many res...
130
Voted
SCAM
2009
IEEE
15 years 11 months ago
2009
IEEE
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
137
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
137
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...