Combine and conquer: relating BIP and Reo
From MaRDI portal
Publication:347371
DOI10.1016/j.jlamp.2016.09.008zbMath1353.68201MaRDI QIDQ347371
Simon Bliudze, Farhad Arbab, Kasper Dokter, Sung-Shik Jongmans
Publication date: 30 November 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.09.008
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software