scientific article
From MaRDI portal
Publication:3993115
zbMath0771.68009MaRDI QIDQ3993115
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items (3)
Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ Verified compilation of communicating processes into clocked circuits ⋮ Formal Sequentialization of Distributed Systems via Program Rewriting
This page was built for publication:
