Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CONCUR
2000
Springer

favoriteEmaildiscussreport

94views Distributed And Parallel Com...» more CONCUR 2000»

Chi Calculus with Mismatch

13 years 9 months ago

Chi Calculus with Mismatch

Download basics.sjtu.edu.cn

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 congruence. Complete systems are given for both congruence relations. These systems use some new tau laws. The results of this paper correct some popular mistakes in literature.

Yuxi Fu, Zhenrong Yang

Real-time Traffic

CONCUR 2000 | Congruence Relations | Distributed And Parallel Computing | Open Congruence | Open Congruence Relations |

claim paper

Related Content

» Observing Asymmetry and Mismatch

» Bisimulation Lattice of Chi Processes

» Runtime Composition and Adaptation of Mismatching Behavioural Transactions

» Composition and Runtime Adaptation of Mismatching Behavioural Interfaces

» Modified edgedirected interpolation for images

» Acyclic Solos and Differential Interaction Nets

» Quantified Differential Dynamic Logic for Distributed Hybrid Systems

» Not Enough Points Is Enough

» An improved method of power control with CMOS classE power amplifiers

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	2000
Where	CONCUR
Authors	Yuxi Fu, Zhenrong Yang

Comments (0)