scientific article
From MaRDI portal
Publication:2850665
zbMath1272.68099MaRDI QIDQ2850665
August Climent, Francesc Babot, Miquel Bertran
Publication date: 27 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050814
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ Formal Sequentialization of Distributed Systems via Program Rewriting
This page was built for publication:
