6149 search results - page 85 / 1230 » Revealing the programming process |
133
Voted
CL
2007
Springer
15 years 20 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
119
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distribu...
109
Voted
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
90
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
92
Voted
IFIP
2000
Springer
15 years 4 months ago
2000
Springer
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...