×

Towards interaction reliability in concurrent applications. (English) Zbl 1424.68100

MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q55 Semantics in the theory of computing
PDFBibTeX XMLCite