scientific article; zbMATH DE number 7167772

zbMath1433.68093arXiv1508.04848MaRDI QIDQ5216149

Kasper Dokter, Simon Bliudze, Farhad Arbab, Sung-Shik Jongmans

Publication date: 14 February 2020

Full work available at URL: https://arxiv.org/abs/1508.04848

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Combine and conquer: relating BIP and Reo ⋮ Unnamed Item ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous