24 search results - page 1 / 5 » Chi Calculus with Mismatch |
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
APLAS
2003
ACM
13 years 10 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
ASIAN
1998
Springer
13 years 9 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-...
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
JUCS
2008
13 years 5 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...