scientific article; zbMATH DE number 7339671

zbMath1459.68110arXiv1208.5915MaRDI QIDQ4986257

Bernard Paul Serpette, Gustavo Petri, Gérard Boudol

Publication date: 27 April 2021

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

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Parallelized sequential composition and hardware weak memory models, Operational semantics with semicommutations