A relational model for probabilistic connectors based on timed data distribution streams

DOI10.1007/978-3-030-00151-3_8OpenAlexW2888596487MaRDI QIDQ1631223

Xiyue Zhang, Meng Sun

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_8

zbMATH Keywords

coordinationCoqprobabilistic connectortimed data distribution streams

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

A formal algebraic approach for the quantitative modeling of connectors in architectures

Uses Software

• Unnamed Item

This page was built for publication: A relational model for probabilistic connectors based on timed data distribution streams