402 search results - page 1 / 81 » Algebraic Properties of Program Integration |
ESOP
1990
Springer
13 years 8 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
IFIP
2009
Springer
13 years 9 months ago
2009
Springer
ICCL
1998
IEEE
13 years 8 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
CL
2007
Springer
13 years 4 months 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...
AMW
2009
13 years 5 months ago
2009
Conventional operators for data retrieval are either based on exact matching or on total order relationship among elements. Neither of them is appropriate to manage complex data, s...