1788 search results - page 61 / 358 » Model Theory for Process Algebra |
83
Voted
MOVEP
2000
15 years 4 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
119
Voted
JLP
2006
15 years 17 days ago
2006
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
93
Voted
WSC
2008
15 years 2 months ago
2008
Cluster tools, which combine several single-wafer processing modules with wafer handling robots in a closed environment, have been increasingly used for most wafer fabrication pro...
99
Voted
ASIAN
1998
Springer
15 years 4 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
183
Voted
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...